Def MonoidAlgebra.supported

Modification history

2026-03-27 10:04

Mathlib/Algebra/MonoidAlgebra/Module.lean

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

Added MonoidAlgebra.supported View on Github →