Theorem CategoryTheory.Limits.hasLimit_of_closed_under_limits

Modification history