Theorem CategoryTheory.Injective.injective_iff_projective_op

Modification history