Mathlib Changelog
v4
Changelog
About
Github
Theorem
MDifferentiableOn.prodMk_space
Modification history
2025-03-08 19:41
Mathlib/Geometry/Manifold/MFDeriv/Basic.lean
chore(Geometry/Manifold): rename many lemmas (#22719) …
Added
MDifferentiableOn.prodMk_space
View on Github →