)]}'
{
  "commit": "7f023be36f9fe75a3a676cf2fbb404d91b4d6510",
  "tree": "78e7106a5ea43cce8a0c628312fdd0047d55722c",
  "parents": [
    "9f65d0251a7fce60ccc4329d5a2e3fe435e04893"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 12 12:34:19 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 12 12:34:19 2025 +1000"
  },
  "message": "chore: add Decidable (∃ i, P i)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "000ca74f0343d872d2f543ff56ba62c261f87785",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Lemmas.lean",
      "new_id": "73fd165256dfd6e8b68495bd640846d9669b9494",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Lemmas.lean"
    }
  ]
}