)]}'
{
  "commit": "518c8d84231b64a71819f79e6702dad2bd4dd1e0",
  "tree": "7db5e390cb08cafba38ed98e4040d444a6c61a48",
  "parents": [
    "0afa1d1e5dda3cfedd4a847421271fef64e9743c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 09 12:50:27 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 09 12:50:27 2025 +1100"
  },
  "message": "feat: aligning List/Array/Vector lemmas for map\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8bb29aae6faea1c8121a099f7d0794fe0fb97257",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "a93201ab419bfb7b193c4974c342f2ba57e7472f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "e29c161a31f02f61443523e16551895b4d5f36a4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "49333f6b8b903e8a7c1f9dcd285e1d5dab10606b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "31e3e430bc6915097d48d3ec2d73c953bb92693e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Basic.lean",
      "new_id": "53b9327d212aca5793303c5895addc78bb9cabd4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "88ccbc6dcb63d7d4ace7c0d3a4d66ad1cfff1e37",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "f8fb2eaf2e0c3b2a28b3b0978507a4a3e887b150",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}