mathlib
fbd9eab4 - feat(data/monoid_algebra): some lemmas about group rings

Commit

6 years ago

feat(data/monoid_algebra): some lemmas about group rings

References

#2239 - feat(data/monoid_algebra): some lemmas about group rings

Author

kim-em

kim-em

Parents

Loading