Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.sigma_lift_nonempty

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