)]}'
{
  "commit": "aebb105376f424d32e3add05773bf9140a384b90",
  "tree": "2aa96f105c7fcefe42cae94f9046335fe2483550",
  "parents": [
    "d7cc0fd75469531f067d0527e1f9715df106a2e3"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Apr 13 12:53:32 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Apr 13 12:53:32 2025 +1000"
  },
  "message": "feat: List/Array/Vector.count_replace lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f2a12f6bdafabbe299061938548851d51ed1355c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Count.lean",
      "new_id": "dce75dfbc67cb79deb68ad10eae3e2faf8d82a75",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Count.lean"
    },
    {
      "type": "modify",
      "old_id": "15c82921e3fc911aac1dabb576e174cb64b0490f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Count.lean",
      "new_id": "0d2e3aba21e510b0687d78c67c7a51d226914f1f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Count.lean"
    },
    {
      "type": "modify",
      "old_id": "f6ff44ead0cde6b85c14bdd2df91379b8538ea06",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Count.lean",
      "new_id": "02cc520ddda193910d671bbaea206901aeb11f14",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Count.lean"
    }
  ]
}