Diff — Curvature

Revision #2804 → #3282 · back to history

modifiedArc-length parametrization6855bb84a50d

Field	From #2804	To #3282
note	Grep for arcLength/arc_length in Mathlib4 returns no results.	Grep for arcLength/arc_length in Mathlib4 returns no results (only pathELength for general Riemannian paths).

addedIntrinsically curved surface as a Riemannian manifolda86fdd15353a

addedSpacetime as a pseudo-Riemannian manifoldb531d727e37f

addedMean curvature relates to first variation of surface area062bb4c6a022

addedAngular defect for polyhedra2c923203dcff