Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-08 18:36 60e279ba

View on Github →

chore(*): update to lean 3.36.0 (#11253) The main breaking change is the change in elaboration of double membership binders into x hx y hy, from x y hx hy.

Estimated changes