)]}'
{
  "commit": "403832c5d9b77def2744ae32e6b5ec07296081d3",
  "tree": "19fc3083fdc7c0414ed54de9529084658f03cc2f",
  "parents": [
    "17b133369db3d0547729465a95e338e045b4bd7c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 17 17:51:31 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 17 17:51:31 2025 +1000"
  },
  "message": "feat: generalize embedding of CommSemiring into its CommRing envelope to the noncommutative case\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cc6ef99b4f2a17196ea8adea70dd06fe698835e1",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Envelope.lean",
      "new_id": "f930c52952f4cc6a7186f4cee54f6f622c9cbb2e",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Envelope.lean"
    }
  ]
}