Theorem SkewMonoidAlgebra.support_mul

Modification history

2025-09-03 08:57

Mathlib/Algebra/SkewMonoidAlgebra/Support.lean

feat(SkewMonoidAlgebra): SkewMonoidAlgebra/Support (#27253) …

Added SkewMonoidAlgebra.support_mul View on Github →