mathlib

ca740b64 - feat(data/finset/powerset): ssubsets and decidability (#7543)

feat(data/finset/powerset): ssubsets and decidability (#7543) A few more little additions to finset-world that I found useful. Co-authored-by: Scott Morrison <scott@tqft.net>