Proofgold Recent Thms

39058 2024-12-03T21:59:22Z d1841..
39057 2024-12-03T19:33:14Z cb0f3..
39041 2024-12-03T08:18:00Z c722e..
39012 2024-12-02T04:47:18Z e3d0c..
38997 2024-12-01T13:58:24Z 4b48a..
38984 2024-12-01T05:51:00Z acb81..
38962 2024-11-30T15:20:14Z 2925f..
38913 2024-11-27T21:36:02Z ca8c8..
38913 2024-11-27T21:36:02Z b7aff..
38912 2024-11-27T20:44:21Z f0535..
More recent thms