Theorem CategoryTheory.Subobject.finset_inf_arrow_factors

Modification history