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.
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.