Theorem CategoryTheory.Equivalence.map_projective_iff

Modification history

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