Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-29 14:48 4a5799e1

View on Github →

feat(data/equiv/basic): subtype_prod_equiv_prod (#2717)

Estimated changes