diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-12 00:08:43 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-12 00:08:43 +0900 |
commit | af6e2bdb7f770d1d0822b217346d3896ed5afbc1 (patch) | |
tree | ebe429692596538467ccb7b0da75e02108b7cc04 /divisor-list.lisp | |
parent | c7cb466e2caf7bc500f66472d8781a14037eec1e (diff) |
permutations: Rename a theorem.
Diffstat (limited to 'divisor-list.lisp')
0 files changed, 0 insertions, 0 deletions