)]}'
{
  "commit": "b2aef73a3d7958e68b8e51184fd1451d47cf6ca4",
  "tree": "080b10121f98350d2d41a0fc06807e3515f35d93",
  "parents": [
    "e4a2c3d8f0221dfae53f0adaebb4ccab1b2b6c65"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 01 12:59:07 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 01 12:59:07 2024 +1100"
  },
  "message": "chore: minor tweaks to Array lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d645fda2ee19fc40b108fe61e93ecf6b7c1d0495",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "38cfda4d8eec9a4276aecd2915f4fd450688238e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "5836d3d8ffd1073238b616092be72f36697fd2ba",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Monadic.lean",
      "new_id": "da4592087e7d45dca22c04f29a63f2e38e7f6014",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Monadic.lean"
    }
  ]
}