)]}'
{
  "commit": "a7b0bb19af12843e0bf98ae49c153fd12eeb77f8",
  "tree": "099efa2624b1a8f29be22c8db308e4a21be57670",
  "parents": [
    "6fcf35e930d44038e63105a4fadd42d2a756b461"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 02 21:41:32 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 02 21:41:32 2024 +1100"
  },
  "message": "chore: missing Array/Vector injectivity lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "62272a03dc83160f748747a8fe60b5b1e9f6e442",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "2225e85e584ae9c116a74b6e2d5bcd8fdab935bd",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "376eaa86cff49ff1837927b45984300e8f7205c5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "a3d71282a8f5deb4fa19ea8a6bc0e4a8d0daf9d5",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}