Theorem CategoryTheory.Projective.projective_iff_preservesEpimorphisms_preadditiveCoyonedaObj

Modification history