diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 13:14:11 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 13:14:11 +0900 |
| commit | 21801ab1ebf221b18e6542418d6459f9d8075c2d (patch) | |
| tree | 281d5cd915fdf3a0081b7d0372427ac30eae4d3b /L-99.lisp | |
| parent | c3b18da12dd6f6510f960edb66669733ccdeb694 (diff) | |
palindrome-sandwich: sandwich-equal-hyp を sandwich-equal-lemma に修正
Diffstat (limited to 'L-99.lisp')
0 files changed, 0 insertions, 0 deletions