Theorem CategoryTheory.Injective.projective_iff_injective_op

Modification history