Theorem monoid_algebra.single_mul_single
Modification history
2021-03-08 14:38
src/algebra/monoid_algebra.lean
chore(algebra/monoid_algebra): provide finer-grained levels of structure for less-structured `G`. (#6572) …
Modified monoid_algebra.single_mul_singleView on Github →