Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_monoid_algebra.decompose_aux_single

Modification history

2022-04-21 12:09

src/algebra/monoid_algebra/grading.lean

feat(algebra/monoid_algebra/grading): Use the new graded_algebra API (#13360) …

Added add_monoid_algebra.decompose_aux_single View on Github →