Mathlib v3 is deprecated. Go to Mathlib v4

Def set.powerset

Modification history

2022-06-15 23:36
src/data/set/basic.lean
chore(*): Bump to Lean 3.43.0 (#14684) …
Added set.powersetView on Github →