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