)]}'
{
  "commit": "886984e524f89b2cc6136475990ea59b47f3e59a",
  "tree": "be449c2ee95da3ea131c4c335641b8bd68a44837",
  "parents": [
    "edff69a8ace7b089c5a63f120265434df0fa382b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Nov 04 16:13:36 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Nov 04 16:13:36 2024 +1100"
  },
  "message": "feat: List.mapFinIdx, lemmas, relate to Array version\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "763d76eae0135f274cde8221f2d15ac05f194c84",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/MapIdx.lean",
      "new_id": "13a576d286a7539caabeb7adfe30ab02b37085b1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/MapIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "ca10b5253b78ebb83477a2799dd9092dc359b5c8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/MapIdx.lean",
      "new_id": "c00d8e8d74df7d669d1fd6ae4ac295f5cc0de30b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/MapIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "304dc5c223251b74d64fa5652e87247ce27dc31f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Range.lean",
      "new_id": "3c72fa693959be8efaec6d995218f4626fa81000",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Range.lean"
    }
  ]
}