)]}'
{
  "commit": "c954c7defd9439f94ef6f62679452347668d85bc",
  "tree": "70830206ae15518b580590a8836e9c5717cdfd3e",
  "parents": [
    "8d5da6491ab06a0b3039fd3c7a517e3bbe6ffad6"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 15:46:48 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 15:46:48 2025 +1000"
  },
  "message": "feat: add HPow Int field to Field\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "380f8b77478d9a4a948bd40d9d9269da560301af",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Basic.lean",
      "new_id": "3a129ef147a9bff6da392fa487ec94d3978a606a",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "6f2e2b04497b51291c5cdee72e88a70d8a5e7451",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Envelope.lean",
      "new_id": "b614140dcd30cfa102b537cfe4093987a2cf4d4b",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Envelope.lean"
    },
    {
      "type": "modify",
      "old_id": "e7e27bf5a1310cf87c9cd8cfa78fdb9a048213f7",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Field.lean",
      "new_id": "c5ac5c7c8e2502e5091f352ced7fd1cdc3170a72",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Field.lean"
    },
    {
      "type": "modify",
      "old_id": "28a9cbc7561527eba1f74f754ee591c49e827a22",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Util.lean",
      "new_id": "3e7dd5740e0908579ae0dcbf338209fcd9e18d90",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d6be041c0259ecb9b9c512ef3c8fbf394aab37f2",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/exponents.lean"
    },
    {
      "type": "modify",
      "old_id": "4a51eb7a03b1dfaae4250a71324df2b51976cb6e",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/algebra/module_normalization.lean",
      "new_id": "fadc89d4332e51712b7eec5b0e32181a9e942f3c",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/module_normalization.lean"
    },
    {
      "type": "modify",
      "old_id": "1e0608adc7be765bcbe5de5df33abac16e841efe",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/algebra/nat_module.lean",
      "new_id": "68c20ae7d859e4c006b1239338d249adad441031",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/nat_module.lean"
    }
  ]
}