Theorem CategoryTheory.Injective.enoughProjectives_of_enoughInjectives_op

Modification history