Theorem CategoryTheory.Limits.IsZero.projective

Modification history