Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ordinal.deriv_eq_enum_ord

Modification history