Def CategoryTheory.Limits.punitCoconeIsColimit

Modification history