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.
feat(algebra/pointwise): more to_additive attributes for new lemmas (#9348) Some of these lemmas introduced in #9226 I believe. Spun off from #2819.