Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-24 14:07 91a547ee

View on Github →

feat(algebra/opposites): (un)op_ne_zero_iff (#7698)

Estimated changes