Update Lean and mathlib (#837)

Author: stepchowfun

lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "81a5d257c8e410db227a6665ed08f64fea08e997",
+   "rev": "520045ab14e26149ee970e2e617ca04b09bde5d6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.32.0",
+   "inputRev": "v4.32.1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",

lakefile.toml

@@ -13,7 +13,7 @@ maxSynthPendingDepth = 3
 [[require]]
 name = "mathlib"
 scope = "leanprover-community"
-rev = "v4.32.0"
+rev = "v4.32.1"
 
 [[lean_lib]]
 name = "proofs_lean"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.32.0
+leanprover/lean4:v4.32.1