Updates available and ready to merge (#48)

github-actions[bot] · web-flow · commit f02768e56cce · 2025-06-16T10:32:08.000+01:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "c211948581bde9846a99e32d97a03f0d5307c31e",
+   "rev": "e6a0a9ce05f538af9fdd86c12fbed45078202a81",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.20.0",
+   "inputRev": "v4.20.1-rc1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.20.0
+leanprover/lean4:v4.20.1-rc1
