Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.image_swap_product

Modification history

2022-11-13 20:38
src/data/finset/prod.lean
feat(data/finset/prod): `prod.swap '' s ×ˢ t = t ×ˢ s` (#17511) …
Added finset.image_swap_productView on Github →