Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebra.PreSubmersivePresentation.localizationAway_jacobiMatrix
Modification history
2024-10-01 17:04
Mathlib/RingTheory/Smooth/StandardSmooth.lean
feat(RingTheory/StandardSmooth): composition and localization (#16827) …
Added
Algebra.PreSubmersivePresentation.localizationAway_jacobiMatrix
View on Github →