Def CategoryTheory.Limits.isColimitConeUnop

Modification history