)]}'
{
  "commit": "aaeb1bbf6120cedb11f0503f08fce6651e3f5ba6",
  "tree": "45957554197336dc28b773346294c1131b600780",
  "parents": [
    "86425f655ab32fc7efa4e10878a9750b5ccf2031"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 20:26:34 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 27 20:28:25 2025 -0700"
  },
  "message": "feat: simplify equations in `grind` AC module\n\nThis PR adds support for equality simplification helper functions to\nthe `grind` AC module.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "44373a5fcff1533deefc15857148ed2ab2e6590d",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "e46cf9ea7468196d1205feb7190e4dd3c47ef045",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "85f49e2d58417a6ca2a9c00918cca9956a535382",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC.lean",
      "new_id": "ca9d6f4b7983f6621317b428205dabe816a4612d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "e902cb8373e807090aceb33a77b8f3862191e9ea",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean",
      "new_id": "8cd912f5df08eaedf263532ee7ab1ec8a8da5a67",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean"
    },
    {
      "type": "modify",
      "old_id": "c393f2a9e659149dcda02ecbca487ab338bc21a5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean",
      "new_id": "7ba33f3092b617eb8c1220818b9da6101581d2e2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean"
    },
    {
      "type": "modify",
      "old_id": "ff19fda126434f13a51a90d56dd27b5fd69e7c51",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean",
      "new_id": "25b69a311c152770416339c5e9061cd06e796fce",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "d83c994f495099f6915df920d0687b67bf4cc85a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Util.lean",
      "new_id": "49131bd170f2e8842cff9b672d4c85714474486f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Util.lean"
    }
  ]
}