Mathlib v3 is deprecated. Go to Mathlib v4

Def finset.sigma_lift

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.sigma_lift View on Github →