refactor(set_theory/ordinal_arithmetic): remove dot notation (#12614)
refactor(set_theory/ordinal_arithmetic): remove dot notation (#12614)






leanprover-community/mathlib,leanprover-community/mathlib