Theorem CategoryTheory.Limits.fst_of_isColimit

Modification history