mathlib3

2e7efe99 - refactor(set_theory/ordinal_arithmetic): Change `α → Prop` to `set α` (#11816)