Theorem CategoryTheory.Limits.colimit.ι_post

Modification history