Def CategoryTheory.Limits.isColimitChangeEmptyCocone

Modification history