Theorem minSmoothness_eq_infty

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_eq_inftyView on Github →