Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-29 19:27 4d19191e

View on Github →

feat(algebra/monoid_algebra): Add an equivalence between add_monoid_algebra and monoid_algebra in terms of multiplicative (#4402)

Estimated changes