Theorem CategoryTheory.Limits.hasLimit_of_hasColimit_leftOp

Modification history