Fri, 15 Apr 2022 23:31:31 +0100 Chengsong almost there
Fri, 15 Apr 2022 19:35:29 +0100 Chengsong 1sorry left
Wed, 13 Apr 2022 22:20:08 +0100 Chengsong more sorrys fileld
Wed, 13 Apr 2022 18:57:24 +0100 Chengsong again starClosedForms
Wed, 13 Apr 2022 09:18:29 +0100 Chengsong starclosed
Tue, 12 Apr 2022 15:51:35 +0100 Chengsong central lemma for seqclosedforms
Sat, 09 Apr 2022 19:17:42 +0100 Chengsong changeto sflat def
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 tip