Theorem Module.Baer.of_equiv

Modification history

2025-01-02 11:03
Mathlib/Algebra/Module/Injective.lean
feat(Algebra): auxiliary lemmas for flatness over semirings (#20265)
Added Module.Baer.of_equivView on Github →