Def CategoryTheory.Limits.diagramIsoCospan

Modification history