)]}'
{
  "commit": "810a8e1ff2eea7d9b53f415f837cd8bdc56fef2f",
  "tree": "63cc6d59752faf61d2c8ee0e05d56ea934b4c627",
  "parents": [
    "56ac94b5911cb3e363418ef819a82a22c40d40ef"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Mar 13 16:41:34 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Mar 13 16:41:34 2025 +1100"
  },
  "message": "feat: cleanup on Int simp lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d72e8af428e05f9318a063043dd859b941e49a6b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivMod/Lemmas.lean",
      "new_id": "bbcbbc367359f3f6592a13150f9d9b74152b1fe4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivMod/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "bf3cf71d680ea225ae855a4f9dc0fb4ce1fdc4a2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Lemmas.lean",
      "new_id": "0f0b4bbff08664cb8c325e955551dbe4adcfcd33",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "afaa61f668b07ac8ef01fa67a457f7b4fe98a7c4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Linear.lean",
      "new_id": "00cf6dbb1f62b448b08f2fd45a2c2c5ba952932f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Linear.lean"
    },
    {
      "type": "modify",
      "old_id": "ab934cb82228c02d93fd2c66b0f1e2c1e2593a2a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/OfNat.lean",
      "new_id": "80cb8fd0bde5de824b027aed7a6b96b2d38333f0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/OfNat.lean"
    },
    {
      "type": "modify",
      "old_id": "6405f240cb644796034c2b22e382c821ebe6275e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Order.lean",
      "new_id": "250b1baf8a5f5417b346eb61be7a465d131c4290",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Order.lean"
    }
  ]
}