Theorem isLocalizedModule_iff_isLocalization

Modification history

2024-11-06 09:52
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
chore: split Algebra.Module.LocalizedModule (#18657)
Modified isLocalizedModule_iff_isLocalizationView on Github →
2024-01-10 09:09
Mathlib/Algebra/Module/LocalizedModule.lean
feat: Add Basis.of_isLocalizedModule (#9210) …
Added isLocalizedModule_iff_isLocalizationView on Github →