Theorem CategoryTheory.Limits.Concrete.isLimit_ext

Modification history