)]}'
{
  "commit": "29d62b959dcb81b04d71017701bbec0e5067cf51",
  "tree": "449068eee6f1fbfe1d34d2fc5ef42802f440322e",
  "parents": [
    "69a73a18fbfa1fc045bfbf1c4cf93b155d4c9387"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 28 11:51:45 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 28 11:51:45 2025 +1100"
  },
  "message": "chore: two BitVec lemmas that help simp confluence\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "10f74eb080b2df28a3ff10d2e6b9f9b9820af4b4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "5e511e3d4119a5cff915a5bb77cca4058d5f92f2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    }
  ]
}