Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-11 21:18 538f015c

View on Github →

feat(data/finset/basic): empty_product and product_empty (#7886) add product_empty_<left/right>

Estimated changes