Structure CategoryTheory.Limits.IsColimit

Modification history