Commit 2026-03-27 10:04 55217bd0

View on Github →

feat(Algebra/MonoidAlgebra): supported (#36851)

Estimated changes

Modified Mathlib/Algebra/MonoidAlgebra/Module.lean

added def MonoidAlgebra.coeffLinearEquiv

added theorem MonoidAlgebra.mem_supported'

added theorem MonoidAlgebra.mem_supported

added def MonoidAlgebra.supported

added def MonoidAlgebra.supportedEquivFinsupp

added theorem MonoidAlgebra.supported_eq_map

added theorem MonoidAlgebra.supported_eq_span_single

added theorem MonoidAlgebra.supported_mono