Theorem CategoryTheory.hasLimit_of_created

Modification history