Theorem SkewMonoidAlgebra.support_neg

Modification history

2025-09-03 08:57

Mathlib/Algebra/SkewMonoidAlgebra/Support.lean

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

Added SkewMonoidAlgebra.support_neg View on Github →