chore: bump to 2025-06-01

david-christiansen · david-christiansen · commit 566aa4cc7faa · 2025-06-02T07:53:02.000+02:00
diff --git a/Manual/BasicTypes/Fin.lean b/Manual/BasicTypes/Fin.lean
@@ -174,7 +174,7 @@ Typically, bitwise operations on {name}`Fin` should be accessed using Lean's ove
 
 {docstring Fin.toNat}
 
-{docstring Fin.ofNat'}
+{docstring Fin.ofNat}
 
 {docstring Fin.cast}
 
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a8af964951a36571535b28d387198cff909b515d",
+   "rev": "136f897aa927cacc71a396479a296f5228673135",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2025-05-28
+leanprover/lean4:nightly-2025-06-01
