mathlib

94a700f3 - chore(set_theory/ordinal_arithmetic): Remove redundant explicit argument (#11757)