Theorem CategoryTheory.Subobject.finset_inf_factors

Modification history