Theorem monoid_algebra.support_mul
Modification history
2022-08-31 06:55
src/algebra/monoid_algebra/basic.lean
refactor(algebra/monoid_algebra/{ basic + support } + import dust): move lemmas to a new "support" file (#16322) …
Modified monoid_algebra.support_mulView on Github →2022-05-17 13:06
src/algebra/monoid_algebra/basic.lean
chore(algebra/monoid_algebra): clean up some bad decidable arguments (#14175) …
Modified monoid_algebra.support_mulView on Github →