Theorem CategoryTheory.Subobject.mk_factors_iff

Modification history