Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsLocalizedModule.isBaseChange
Modification history
2024-01-10 09:09
Mathlib/Algebra/Module/LocalizedModule.lean
feat: Add Basis.of_isLocalizedModule (#9210) …
Modified
IsLocalizedModule.isBaseChange
View on Github →
2023-07-29 18:51
Mathlib/Algebra/Module/LocalizedModule.lean
feat: add IsLocalizedModule.isBaseChange (#5766) …
Added
IsLocalizedModule.isBaseChange
View on Github →