chore: bump to v4.21.0-rc3 (#56)

Author: pitmonticone

lake-manifest.json

@@ -15,17 +15,17 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4e57d17bdc121dc17f25f2d8240a584c76a3a66e",
+   "rev": "6455ba8ab6d25ef9f661dc663a524375d3984164",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.21.0-rc1",
+   "inputRev": "v4.21.0-rc3",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "91ce5a8051438870cbb4e3c68cd12e23ace713b1",
+   "rev": "1603151ac0db4e822908e18094f16acc250acaff",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,7 +45,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d554d45b37832f5f8e8797ac0b00be585c8aea49",
+   "rev": "e25fe66cf13e902ba550533ef681cc35a9f18dc2",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,17 +55,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7518acaafc0ba29be6de6c3f37637fe4148b72cb",
+   "rev": "6980f6ca164de593cb77cd03d8eac549cc444156",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.61",
+   "inputRev": "v0.0.62",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c548baa6d2ed727c6e9b30ff627b7c67fda4a54c",
+   "rev": "f0424862c97fec5bae253f4f1e0ff001f78187c0",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "f827c08bdd5044b75f0fdc3178c0c600e818b76f",
+   "rev": "e1d2994e0acdee2f0c03c9d84d28a5df34aa0020",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "3aafa48516440d6038efb626660c74dec6e640da",
+   "rev": "08681ddeb7536a50dea8026c6693cb9b07f01717",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "1606fed39cd8bd366f8a192e6558972af869efa6",
+   "rev": "a0abd472348dd725adbb26732e79b26e7e220913",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lakefile.toml

@@ -14,7 +14,7 @@ linter.flexible = true # no rigid tactic (e.g. `exact`) after a flexible tactic
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4.git"
-rev = "v4.21.0-rc1"
+rev = "v4.21.0-rc3"
 
 [[require]]
 name = "checkdecls"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.21.0-rc1
+leanprover/lean4:v4.21.0-rc3