mathlib3

60e279ba - chore(*): update to lean 3.36.0 (#11253)

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. Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>