Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-04 21:12 2e7efe99

View on Github →

refactor(set_theory/ordinal_arithmetic): Change α → Prop to set α (#11816)

Estimated changes

modified theorem ordinal.is_normal.le_set'
modified theorem ordinal.is_normal.le_set
modified theorem ordinal.is_normal.sup