Loading paper
Extrinsic Bonnet-Myers Theorem and almost rigidity | Tomesphere