From 7a863fa4e3b7d18f8c5b11e00af98d8bed255a94 Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Mon, 27 Jan 2025 16:13:13 -0500
Subject: [PATCH] update mathlib

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index efaf624..ca63db3 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bc0287e58c6a04db6dec0ba650680d9e08f4b385",
+   "rev": "994a62cac301d73313dcc990c03eea78ad6f97b9",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "5b23a1297aba9683f231c4b1a7ab4076af4ad53d",
+   "rev": "383137545783429af1317226778fd44869a711e2",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",