Def CategoryTheory.Limits.isColimitEmptyCoconeEquiv

Modification history