Mathlib v3 is deprecated. Go to Mathlib v4

Theorem coe_not_mem_range_equiv

Modification history

2020-05-13 12:20
src/data/finset.lean
feat(topology/algebra/infinite_sum): sums on subtypes (#2659) …
Added coe_not_mem_range_equivView on Github →