Theorem SkewMonoidAlgebra.support_single

Modification history

2026-05-06 18:10
Mathlib/Algebra/SkewMonoidAlgebra/Support.lean
chore(Data/Finsupp): make `support_single` simp (#38860) …
Added SkewMonoidAlgebra.support_singleView on Github →