Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.product_union

Modification history

2021-11-04 22:36
src/data/finset/prod.lean
feat(data/finset/prod): When `finset.product` is nonempty (#10170) …
Added finset.product_unionView on Github →