Theorem minSmoothness_monotone

Modification history

2025-01-19 14:13
Mathlib/Analysis/Calculus/FDeriv/Symmetric.lean
feat: start building an API for vector fields on manifolds (#20639) …
Added minSmoothness_monotoneView on Github →