Theorem CategoryTheory.Limits.snd_of_isColimit

Modification history