Theorem SkewMonoidAlgebra.mem_span_support

Modification history

2025-09-03 08:57
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
feat(SkewMonoidAlgebra): SkewMonoidAlgebra/Support (#27253) …
Added SkewMonoidAlgebra.mem_span_supportView on Github →