Theorem CategoryTheory.Subobject.factors_zero

Modification history