Def CategoryTheory.Limits.WidePushoutShape.diagramIsoWideSpan

Modification history