Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.not_mem_sigma_lift_of_ne_right

Modification history

2022-01-04 13:36

src/data/finset/sigma.lean

feat(data/finset/sigma): A way to lift `finset`-valued functions to a sigma type (#10958) …

Added finset.not_mem_sigma_lift_of_ne_right View on Github →