Theorem SkewMonoidAlgebra.support_single_ne_zero

Modification history

2026-05-06 18:10
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
chore(Data/Finsupp): make `support_single` simp (#38860) …
Deleted SkewMonoidAlgebra.support_single_ne_zeroView on Github →
2025-09-03 08:57
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
feat(SkewMonoidAlgebra): SkewMonoidAlgebra/Support (#27253) …
Added SkewMonoidAlgebra.support_single_ne_zeroView on Github →