Wed, 03 May 2023 10:35:20 +0100 paulson merged
Tue, 02 May 2023 15:17:39 +0100 paulson More new theorems, and a necessary correction
Tue, 02 May 2023 12:51:05 +0100 paulson A few new theorems
Tue, 02 May 2023 11:09:18 +0100 paulson merged
Mon, 24 Apr 2023 15:00:54 +0100 paulson merged
Wed, 12 Apr 2023 12:00:40 +0100 paulson merged
Mon, 20 Mar 2023 12:26:31 +0000 paulson merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip