Riemannian geometry

Gauss lemma

Differential geometry · Theoretical / proof-based

Graduate Differential Geometry — scope drawn from open differential geometry notes and typical US graduate differential geometry syllabi.