Def CategoryTheory.Limits.isLimitEmptyConeEquiv

Modification history