Theorem CategoryTheory.Limits.colimit.post_post

Modification history