Bump mathlib to v4.17.0

Author: YaelDillies

lake-manifest.json

@@ -5,17 +5,17 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ab024bba09a1433dacf9d56ddb167a5ce0de0e70",
+   "rev": "5269898d6a51d047931107c8d72d934d8d5d3753",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": null,
+   "inputRev": "v4.17.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "59a8514bb0ee5bae2689d8be717b5272c9b3dc1c",
+   "rev": "c708be04267e3e995a14ac0d08b1530579c1525a",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "461b96f5527089718cb23d3f1fd2960a5d0ff516",
+   "rev": "0447b0a7b7f41f0a1749010db3f222e4a96f9d30",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,17 +45,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "322a050322e97b0a701588d9b1efbe2bee7f8527",
+   "rev": "799f6986de9f61b784ff7be8f6a8b101045b8ffd",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.52-pre2",
+   "inputRev": "v0.0.52",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ba9a63be53f16b3b6e4043641c6bad4883e650b4",
+   "rev": "56a2c80b209c253e0281ac4562a92122b457dcc0",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7b3b0c8327b3c0214ac49ca6d6922edbb81ab8c9",
+   "rev": "95561f7a5811fae6a309e4a1bbe22a0a4a98bf03",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "80520e5834d0d9a2446cb88ea3d2a38a94d2e143",
+   "rev": "efcc7d9bd9936ecdc625baf0d033b60866565cd5",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "a2eb24a3dbf681f2b655f82ba5ee5b139d4a5abc",
+   "rev": "e7fd1a415c80985ade02a021172834ca2139b0ca",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.17.0-rc1
+leanprover/lean4:v4.17.0