Theorem CategoryTheory.Limits.biprod.inl_desc

Modification history