Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-08 14:46 b10062e7

View on Github →

feat(data/finset/noncomm_prod): noncomm_prod_union_of_disjoint (#8169)

Estimated changes