Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.set_of_mem

Modification history

2020-11-08 16:26

src/data/finset/basic.lean

chore(data/finset/basic): use `has_coe_t` for coercion of `finset` to `set` (#4917)

Modified finset.set_of_mem View on Github →

2018-09-21 17:46

data/finset.lean

feat(data/set): add set.pi

Added finset.set_of_mem View on Github →