Theorem CategoryTheory.Equivalence.enoughInjectives_iff

Modification history