)]}'
{
  "commit": "8bf8acdeb9d1aba0478525ba5803019f6e9b9205",
  "tree": "9135532c53c0b3f1f6eea77606fa08c215293824",
  "parents": [
    "43d6eb144e7a84af7c6eb40e60c9d2538367d6eb"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Mar 01 23:23:03 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Mar 01 23:23:03 2024 +1100"
  },
  "message": "chore: correct statement of Int.pow_zero, and protected theorems\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c91f1ce12c7da144716c6b80ae2be17072233530",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Lemmas.lean",
      "new_id": "462591e5b94e1a77a9b4a5723fc36ea88729521f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "cbb0768523896b970227182d14a18e15a19be6f5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Basic.lean",
      "new_id": "22e91f4d282b5769979603008aeeeedd5a5ed5c4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "9b7916f256df65b75089426330c70a00eb3d4dea",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean",
      "new_id": "93e924cc26a578e11a4b8aa60a7a6afdebda4f35",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "a0853dfa48fb1d112af1ebd2438a60546c647f9a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Lemmas.lean",
      "new_id": "85d51cc2e4d04ac64519d38d877191bbe2b24110",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Lemmas.lean"
    }
  ]
}