Theorem CategoryTheory.Subobject.factors_iff

Modification history