Def CategoryTheory.Limits.WidePushoutShape

Modification history