Def CategoryTheory.Limits.widePushoutShapeUnop

Modification history