Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 14:29 ab6a892b

View on Github →

feat(data/finset/noncomm_prod): add noncomm_prod_congr (#12520)

Estimated changes