Theorem SkewMonoidAlgebra.support_single_mul_subset

Modification history

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