)]}'
{
  "commit": "05b4a3cf1823b797d19c5986af20daa6e60ebcaa",
  "tree": "2cb7886814c540244c66d8ed921d8308f1038af7",
  "parents": [
    "8ba05f34eab69263c9b1b8acc039d98e7c6dbaa9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 13 23:09:59 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 13 23:09:59 2023 +0200"
  },
  "message": "feat: trace nodes for `SizeOf` and injectivity theorem generation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "da56406f05a1b83f3eed3393d52b032fb510b63d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Injective.lean",
      "new_id": "d4d5cef408262351e08c4b8baf210317c628370e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Injective.lean"
    },
    {
      "type": "modify",
      "old_id": "b313fc13f14911696c8ace9859fa20dc9cc5fa4e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SizeOf.lean",
      "new_id": "be337143d0c62591d10636a241a45fbbe745023f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SizeOf.lean"
    }
  ]
}