Theorem LocalizedModule.map_exact

Modification history

2024-11-06 09:52

Mathlib/Algebra/Module/LocalizedModule/Basic.lean

chore: split Algebra.Module.LocalizedModule (#18657)

Modified LocalizedModule.map_exact View on Github →

2024-06-25 09:01

Mathlib/Algebra/Module/LocalizedModule.lean

feat(Algebra/Module/LocalizedModule): Prove that localization is exact (#13790) …

Added LocalizedModule.map_exact View on Github →