Theorem MonoidAlgebra.supported_eq_span_single

Modification history

2026-03-27 10:04
Mathlib/Algebra/MonoidAlgebra/Module.lean
feat(Algebra/MonoidAlgebra): `supported` (#36851)
Added MonoidAlgebra.supported_eq_span_singleView on Github →