Sat, 23 Mar 2019 11:53:09 +0000 | Chengsong | exp and proof | file | diff | annotate |
Thu, 21 Mar 2019 13:26:07 +0000 | Chengsong | pf | file | diff | annotate |
Sat, 16 Mar 2019 20:05:13 +0000 | Chengsong | found the difference: caused by flats | file | diff | annotate |