Theorem CategoryTheory.Equivalence.enoughProjectives_iff

Modification history