Mathlib Changelog
v4
Changelog
About
Github
Theorem
FinitePresentation.of_isBaseChange
Modification history
2024-11-25 08:40
Mathlib/Algebra/Module/FinitePresentation.lean
feat: the free locus of a (finitely presented) module (#18691)
Added
FinitePresentation.of_isBaseChange
View on Github →