Theorem CategoryTheory.Subobject.inf_factors

Modification history