Theorem IsIntegralCurve.continuous

Modification history

2024-02-09 22:56

Mathlib/Geometry/Manifold/IntegralCurve.lean

chore: tidy various files (#10362)

Modified IsIntegralCurve.continuous View on Github →

2024-01-23 11:19

Mathlib/Geometry/Manifold/IntegralCurve.lean

feat: uniqueness of integral curves of a vector field on a manifold (#8886) …

Added IsIntegralCurve.continuous View on Github →