Def CategoryTheory.Limits.WidePushoutShape.wideSpan

Modification history