)]}'
{
  "commit": "9491d9decce71e0b51fc6028ae46d9fecd1e7c9d",
  "tree": "4c2c4e31b1be1ab26e0bd17b3785d878eef6a112",
  "parents": [
    "c7b8c5c6a6073bb82916bbbe76f71a710d2dee87"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 10 00:49:25 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 10 00:49:25 2024 +1100"
  },
  "message": "chore: cleanup of Array lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "afeeaf5622244fc29f5ec2cb604c22fd934b3e3b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "e63bba6b253d39e34ad9d8f633469e0519b70379",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6e17e22e81c8484738a9e4d932c3a027a54d820c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "2b94abd89a459ef27662f293364af9b470942856",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "f1ee950b88b17c511fb19c806909a18d249e21c5",
      "old_mode": 33188,
      "old_path": "src/Init/PropLemmas.lean",
      "new_id": "1bd4a700d650f410974b17ec3ba51aed6ca577c2",
      "new_mode": 33188,
      "new_path": "src/Init/PropLemmas.lean"
    }
  ]
}