Commit 2020-06-10 12:50 614d1cad
View on Github →chore(*): update to lean 3.16.0 (#3016)
The only change relevant to mathlib is that the precedence of unary - has changed, so that -a^n parses as -(a^n) and not (as formerly) (-a)^n.
chore(*): update to lean 3.16.0 (#3016)
The only change relevant to mathlib is that the precedence of unary - has changed, so that -a^n parses as -(a^n) and not (as formerly) (-a)^n.