Theorem CategoryTheory.Projective.iso_iff

Modification history