Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.fold_image_idem

Modification history

2021-05-04 02:29
src/data/finset/fold.lean
feat(data/finset/lattice): add sup_image (#7428) …
Added finset.fold_image_idemView on Github →