mathlib
a28012c8 - feat(algebra/monoid_algebra): add mem.span_support (#7323)

Commit

4 years ago

feat(algebra/monoid_algebra): add mem.span_support (#7323) A (very) easy lemma about `monoid_algebra`.

Author

riccardobrasca

Parents