Mathlib Changelog
v4
Changelog
About
Github
Theorem
Submodule.mem_of_localization_maximal
Modification history
2024-11-20 17:19
Mathlib/RingTheory/LocalProperties/Submodule.lean
chore(RingTheory): improve and generalize submodule localization API (#19118) …
Modified
Submodule.mem_of_localization_maximal
View on Github →
2024-11-04 12:17
Mathlib/RingTheory/LocalProperties/Submodule.lean
feat(RingTheory/LocalProperties): being projective can be checked locally on stalks (#18131) …
Added
Submodule.mem_of_localization_maximal
View on Github →