Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.map_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.map_swap_product View on Github →