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 /list-monad.lisp | |
| parent | c7cb466e2caf7bc500f66472d8781a14037eec1e (diff) | |
permutations: Rename a theorem.
Diffstat (limited to 'list-monad.lisp')
0 files changed, 0 insertions, 0 deletions