Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-30 00:29 c594e2b9

View on Github →

feat(algebra/ring/basic): neg_zero for distrib_neg (#13049)

Estimated changes

added theorem neg_zero'