)]}'
{
  "commit": "e86ac389f04afd2cbffd27daecece685b48aa0c0",
  "tree": "dc79abc721acb2fed1d5dec24642a530aab88280",
  "parents": [
    "e681855428032555d8f1f45aebcbb0b4bad85db7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon May 12 17:04:31 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon May 12 17:04:31 2025 +1000"
  },
  "message": "feat: use NeZero in Fin lemmas where possible\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ceac5a0802888b0271cb307f4c74e51672449d65",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Lemmas.lean",
      "new_id": "36d163ea83aa0a25645f52374e2ea4090110d4a4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Lemmas.lean"
    }
  ]
}