Theorem CategoryTheory.Subobject.factorThru_zero

Modification history