)]}'
{
  "commit": "16cdada054783814047c7d36108c7aeaf8d4e511",
  "tree": "394d2e81e83ff16be871422cdc51c1035e124225",
  "parents": [
    "287d46e1f6a7a6136c7996367a9b203d93797d00"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 11 13:23:31 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 11 13:23:31 2024 +1000"
  },
  "message": "experiment: make Fin.sub irreducible\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a1a27bafdab0797e7814d81181fc46063f8de6e9",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "cf382d42122eb1297de5d63cf79280ae8b773016",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "da61b54b8773f1f5b2059e46cb28e6b6e44c8437",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Basic.lean",
      "new_id": "66c5fc6e55d14130601d30c502e9fd6b46a67690",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "ebcb46b9e68a4a0506966fae66b355f7afc22b44",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Lemmas.lean",
      "new_id": "a686dad914172bdd563fbb35c0ed67ce565e1981",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "9a8e9f54bb6b609e5c085cb2cd757def6d469a1f",
      "old_mode": 33188,
      "old_path": "src/Init/Omega/Int.lean",
      "new_id": "f25046b8ac405fde50d5d9235f3f3e6545802742",
      "new_mode": 33188,
      "new_path": "src/Init/Omega/Int.lean"
    }
  ]
}