Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebra.PreSubmersivePresentation.baseChange_toPresentation
Modification history
2025-09-13 02:46
Mathlib/RingTheory/Extension/Presentation/Submersive.lean
chore(RingTheory/Smooth): split `StandardSmooth` (#28725) …
Modified
Algebra.PreSubmersivePresentation.baseChange_toPresentation
View on Github →
2025-03-28 16:45
Mathlib/RingTheory/Smooth/StandardSmooth.lean
chore(RingTheory): even more `erw`s (#23404) …
Added
Algebra.PreSubmersivePresentation.baseChange_toPresentation
View on Github →