Theorem CategoryTheory.Subobject.prod_eq_inf

Modification history