chore: update Mathlib dependencies 2026-02-01 (leanprover-community#34692)

This PR updates the Mathlib dependencies.

Co-authored-by: leanprover-community-mathlib4-bot <leanprover-community-mathlib4-bot@users.noreply.github.com>
Co-authored-by: Kim Morrison <kim@tqft.net>

Author: 3 people

Mathlib/Tactic/Common.lean

@@ -13,6 +13,7 @@ public import Plausible
 
 -- Tools for analysing imports, like `#find_home`, `#minimize_imports`, ...
 public import ImportGraph.Imports
+public import ImportGraph.Lean.Environment
 
 -- Import common Batteries tactics and commands
 public import Batteries.Tactic.Basic

lake-manifest.json

@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d732db56868389fcf848175053e2c54391a30f36",
+   "rev": "a046f786a71218321831f28baffb067a1c056dd7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",