Theorem SkewMonoidAlgebra.support_one

Modification history

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