chore(set_theory/ordinal_arithmetic): Make auxiliary result private (#12562)
chore(set_theory/ordinal_arithmetic): Make auxiliary result private (#12562)






leanprover-community/mathlib,leanprover-community/mathlib