Theorem CategoryTheory.Limits.biprod.inl_fst

Modification history