mathlib3

aa7d90bc - doc(set_theory/ordinal/natural_ops): mention alternate names (#14546)