)]}'
{
  "commit": "7f78edde2508ed384501803f674e061835070848",
  "tree": "13585a6e8cbf713a2fdacd7e3d73c0aeb1d022c3",
  "parents": [
    "445c8f2ee02ec75cdd8b2811bd56f4fb16adb655"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 18 11:52:13 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 18 11:52:13 2024 +1000"
  },
  "message": "chore: remove some @[simp]s from Fin lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a55d6997d4b8960c076b319e970ba419e8b02707",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "56b9ba3abadcfef3e5b553eb1c940a2aec74635a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "927d9d7d908169caaaac75208e8a00f60b9c8849",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Lemmas.lean",
      "new_id": "36d41c46cc74e4035a1a256521ee896da6029c8f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Lemmas.lean"
    }
  ]
}