Theorem SkewMonoidAlgebra.support_mul_single_subset

Modification history

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