Update mathlib or something

Changes

1 changed files (+4/-4)

• lake-manifest.json
  • @@ -5,7 +5,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "029db123ddaa7f8fd0d18cea3b1b33bf84dacd1e", + "rev": "1ccd71f89cbbd82ae7d097723ce1722ca7b01c33", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "v4.25.0",
  • @@ -45,10 +45,10 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "fb8ed0a85a96e3176f6e94b20d413ea72d92576d", + "rev": "e8ef4bdd7a23c3a37170fbd3fa7ee07ef2a54c2d", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.77", + "inputRev": "v0.0.79", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/aesop",
  • @@ -75,7 +75,7 @@
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "39260e31b7b3f7f05643da95242463b462dc05f1", + "rev": "5c78955e8375f872c085514cb521216bac1bda17", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main",