Theorem CategoryTheory.Equivalence.map_injective_iff

Modification history

2023-09-19 07:20
Mathlib/CategoryTheory/Preadditive/Injective.lean
chore(GroupCat/Injective): golf (#7204)
Added CategoryTheory.Equivalence.map_injective_iffView on Github →