Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-10 09:02 d56a9bc2

View on Github →

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

Estimated changes