diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-06 01:21:24 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-06 01:21:24 +0900 |
| commit | 12132a24ad279fd3c1443cb79d52f897acaa49a7 (patch) | |
| tree | d8ffc7767491c20e0031f23f14fcad5ac7deaf89 /LICENSE | |
| parent | 80ff85f0f558e31a5aff784b2d38547c870f9d95 (diff) | |
peano: associativity-of-nat*: Unuse nat*-commutative.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions