mathlib

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