aboutsummaryrefslogtreecommitdiff
path: root/example
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 /example
parentdf658b3aaea94e1bae0b332c264c1b3b18fe017b (diff)
Rename some commuting lemmas to better names
Diffstat (limited to 'example')
0 files changed, 0 insertions, 0 deletions