mathlib

31e60c87 - feat(set_theory/{ordinal, ordinal_arithmetic}): Add various instances for `o.out.α` (#12508)