)]}'
{
  "commit": "60e233f6a37d6f20352770c407040eb4d711fb10",
  "tree": "7383e5ea9999b80774906eaceeb6717b14025007",
  "parents": [
    "7a7440f59b729a86f8e168fcbd0cf5d5da2c5f2c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 09 12:53:42 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 09 12:54:24 2024 +1000"
  },
  "message": "feat: List.count lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c39390b88517ec0d94a92b3cbb3e056b31ce198a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Count.lean",
      "new_id": "41e57b44b9fa8e6d075fe12b86d44fba081fadf3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Count.lean"
    },
    {
      "type": "modify",
      "old_id": "877061671f34c5a19f17c2295430a77848f4248b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat.lean",
      "new_id": "b13a173cb21ee4ca5b14a878c08b40858d8b70e5",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat.lean"
    },
    {
      "type": "modify",
      "old_id": "77cee69a9ee20a938be503167ee7bd7326a60cb1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Basic.lean",
      "new_id": "4e2f97faf6e9505ccc749ebd2bf4ef3ca1133687",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "4ac93bdce29bcac1b29529f9357322c44dd57a0a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Count.lean"
    },
    {
      "type": "modify",
      "old_id": "e491572c9c65ab28f6c03865a060dab2d26f99f5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Perm.lean",
      "new_id": "ec31e51319abb2f99062c51e0ba0aed3b01bd86c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Perm.lean"
    },
    {
      "type": "modify",
      "old_id": "ed5af61eb2344c84dbe328bf828fe3a173b6c662",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Lemmas.lean",
      "new_id": "345086d9bc3f397368e224d6ed2d94eb54dc3d8d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Lemmas.lean"
    }
  ]
}