Theorem CategoryTheory.Limits.inl_of_isLimit

Modification history