Theorem CategoryTheory.Subobject.factors_of_le

Modification history