Theorem CategoryTheory.Projective.projective_iff_preservesEpimorphisms_coyoneda_obj

Modification history