feat(set_theory/ordinal_arithmetic): Proved `dvd_iff_mod_eq_zero` (#11195)
feat(set_theory/ordinal_arithmetic): Proved `dvd_iff_mod_eq_zero` (#11195)






leanprover-community/mathlib,leanprover-community/mathlib