Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_algebra.mul_single_apply

Modification history

2020-03-31 11:30

src/data/monoid_algebra.lean

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

Added monoid_algebra.mul_single_apply View on Github →