Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-23 22:18 d2f7b24d

View on Github →

feat(algebra/pointwise): more to_additive attributes for new lemmas (#9348) Some of these lemmas introduced in #9226 I believe. Spun off from #2819.

Estimated changes