Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-11 22:33 52d4daef

View on Github →

feat(representation_theory/monoid_algebra_basis): add some API for k[G^n] (#14308)

Estimated changes