aboutsummaryrefslogtreecommitdiff
path: root/cbits/arith.c
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-05-31 08:58:35 +0200
committerTom Smeding <tom@tomsmeding.com>2024-05-31 08:58:49 +0200
commiteea22885eccfe6f720a24682346159853d386434 (patch)
treea2cb82e53168a599cbef05897b529dd76cd94285 /cbits/arith.c
parentdf658b3aaea94e1bae0b332c264c1b3b18fe017b (diff)
Rename some commuting lemmas to better names
Diffstat (limited to 'cbits/arith.c')
0 files changed, 0 insertions, 0 deletions