diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-15 19:52:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-15 19:52:03 +0900 |
| commit | dd309809e2c4f88c53002b42eddb93837ae05cda (patch) | |
| tree | 827a5b2e22ea888a5859167582fb603edd4a2028 /LICENSE | |
| parent | 14775ccc8daf54118a8d613bfb5053a1323a41d5 (diff) | |
pigeonhole: Fix a name of theorem.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions