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
.