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.
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 4, Article 268, 2022 [KN]