diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-25 19:01:51 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-26 14:47:07 +0900 |
| commit | dbe9a9451945db5fa3ce8c308bacd478b2a6d315 (patch) | |
| tree | 968e61f713c0d1c00c3b93e8dfbc78d5d2c880ab /L-99.lisp | |
| parent | f128e3939d1b547a3a408529b8698d08ebcaf6d7 (diff) | |
consecutive-fibonacci-numbers-are-coprime: gcd$ の結果が正の整数になる性質を証明した
Diffstat (limited to 'L-99.lisp')
0 files changed, 0 insertions, 0 deletions