chore: adaptations for nightly-2026-04-11

lake-manifest.json

@@ -5,17 +5,17 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ba9bf0f57e8bc6882141df12167ca3ce52be30c1",
+   "rev": "bea414ce62a25184c00ea3391b7c704ca787aca9",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2026-04-10",
+   "inputRev": "nightly-testing-2026-04-11",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "2541d6b9e923b0b2f867d7b037ac344551cc7feb",
+   "rev": "a3b459a8312125758e51c354b93d54ba620efda6",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "86503d416c875fdcf3b6b6c54c22581e96c6bda7",
+   "rev": "4411c5f89c797401c609b3a946c8874569e69731",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "896fee4b88a27faa234591ab515a6f9f70f9a096",
+   "rev": "5a746178d12920eacc8a331c80317e7ffbbee780",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

lakefile.toml

@@ -16,7 +16,7 @@ weak.linter.allScriptsDocumented = false
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4-nightly-testing"
-rev = "nightly-testing-2026-04-10"
+rev = "nightly-testing-2026-04-11"
 
 [[lean_lib]]
 name = "Cslib"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:nightly-2026-04-10
+leanprover/lean4:nightly-2026-04-11