feat(set_theory/ordinal_arithmetic): add_eq_zero_iff, mul_eq_zero_iff (#12561)
add_eq_zero_iff
mul_eq_zero_iff