mathlib
52d4daef - feat(representation_theory/monoid_algebra_basis): add some API for `k[G^n]` (#14308)

Commit

3 years ago

feat(representation_theory/monoid_algebra_basis): add some API for `k[G^n]` (#14308) Co-authored-by: Oliver Nash <github@olivernash.org>

Author

Amelia Livingston

Parents