Theorem CategoryTheory.Injective.injective_iff_preservesEpimorphisms_yoneda_obj

Modification history