We prove a theorem in calculus LJ and in LJT (LJ with stoup) as well. We show that while there are many proofs to one single theorem in LJ, there is exactly one proof in LJT.
https://doi.org/10.31219/osf.io/z6h4q
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 4, Article 268, 2022 [KN]