)]}'
{
  "commit": "f9b39e4fe24e86c55010ff9ec62be2df05b0be84",
  "tree": "575e2d2bc254c9ec0a9f404cd646fe5b71878bdb",
  "parents": [
    "14c3d4b1a6cd6b9a755c952a2fa8f4c205c4b3e4"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Nov 07 09:45:51 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Nov 07 09:45:51 2024 +1100"
  },
  "message": "feat: minor lemmas about List.ofFn\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "193fc494b80423f76f5fc951961adc1c27f665c6",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/OfFn.lean",
      "new_id": "e02f0c7c73e4b51b4e14ee319f2a17001b150a7d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/OfFn.lean"
    }
  ]
}