aboutsummaryrefslogtreecommitdiff
path: root/consecutive-fibonacci-numbers-are-coprime.lisp
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-06 01:21:24 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-06 01:21:24 +0900
commit12132a24ad279fd3c1443cb79d52f897acaa49a7 (patch)
treed8ffc7767491c20e0031f23f14fcad5ac7deaf89 /consecutive-fibonacci-numbers-are-coprime.lisp
parent80ff85f0f558e31a5aff784b2d38547c870f9d95 (diff)
peano: associativity-of-nat*: Unuse nat*-commutative.
Diffstat (limited to 'consecutive-fibonacci-numbers-are-coprime.lisp')
0 files changed, 0 insertions, 0 deletions