Theorem CategoryTheory.Subobject.factorThru_eq_zero

Modification history