mathlib

aeef727f - chore(set_theory/ordinal/basic): Small style tweaks (#13561)