Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-22 14:56 a28012c8

View on Github →

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

Estimated changes