)]}'
{
  "commit": "cc1f0300df51faacfd1861c2d7519ba2f1297d7c",
  "tree": "efdb6aed6bb39c1ebe33eac36bdf8c1b5f051e3e",
  "parents": [
    "4969ec9cdb9a4a6d148b46df3850cdabae3f70ae"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 29 16:48:54 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 29 16:48:54 2024 +1100"
  },
  "message": "chore: cleanup of List/Array lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "458ba8bf925e313391f2c84d51f0c522072b4a0f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "62272a03dc83160f748747a8fe60b5b1e9f6e442",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "8c510b8f4bd16230a448145295fa691c04e8d987",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "1c165b9cf75fda3be18d91a1f83d2e3b9e430340",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "c00d8e8d74df7d669d1fd6ae4ac295f5cc0de30b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/MapIdx.lean",
      "new_id": "d2592361745ebc95fef264db510048b942b4dc43",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/MapIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "e6e5f330636e95fbc6a3a259a685295a9db68650",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/TakeDrop.lean",
      "new_id": "cedd835b3a039e9a3483e2b6f12a608ac317b2c8",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/TakeDrop.lean"
    },
    {
      "type": "modify",
      "old_id": "3a4b1adfcc990ebd27da3bad53e0d2d863c70dc6",
      "old_mode": 33188,
      "old_path": "src/Init/GetElem.lean",
      "new_id": "d4a26f57abe4829a05e87f6c6df82eec72b246a2",
      "new_mode": 33188,
      "new_path": "src/Init/GetElem.lean"
    },
    {
      "type": "modify",
      "old_id": "31cbff7d9f66e58eb0d371e7266c037cbe20ad09",
      "old_mode": 33188,
      "old_path": "src/Init/Omega/IntList.lean",
      "new_id": "8726d35632c15feaaf0cb8fb09f8366ce669c74d",
      "new_mode": 33188,
      "new_path": "src/Init/Omega/IntList.lean"
    }
  ]
}