Def CategoryTheory.Limits.widePushoutShapeOp

Modification history