Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.mem_insert_none

Modification history

2021-10-11 07:59

src/data/finset/option.lean

feat(data/finset): add `finset.erase_none` (#9630) …

Modified finset.mem_insert_none View on Github →

2018-06-30 00:43

data/fintype.lean

feat(computability/turing_machine): rework proofs, simplify TM lang

Added finset.mem_insert_none View on Github →