Def CategoryTheory.Limits.diagramIsoSpan

Modification history