Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.mem_insert_coe

Modification history

2020-12-16 18:35
src/data/finset/basic.lean
feat(finset): two simple lemmas (#5387) …
Added finset.mem_insert_coeView on Github →