Theorem IsLocalizedModule.of_linearEquiv

Modification history

2024-11-25 08:40
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
feat: the free locus of a (finitely presented) module (#18691)
Deleted IsLocalizedModule.of_linearEquivView on Github →
2024-01-10 09:09
Mathlib/Algebra/Module/LocalizedModule.lean
feat: Add Basis.of_isLocalizedModule (#9210) …
Added IsLocalizedModule.of_linearEquivView on Github →