Theorem SkewMonoidAlgebra.support_add

Modification history

2025-10-30 10:43
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat: SkewPolynomial (#29300) …
Added SkewMonoidAlgebra.support_addView on Github →