Proofgold Recent Thms

40611 2025-02-05T14:27:40Z d9e5c..
39560 2024-12-27T15:16:05Z 5f730..
39559 2024-12-27T15:06:27Z 2c719..
39558 2024-12-27T14:34:20Z 19ed7..
39537 2024-12-27T01:47:59Z f050c..
39534 2024-12-27T01:18:54Z aca67..
39516 2024-12-26T15:53:07Z 99d20..
39515 2024-12-26T13:09:28Z 37994..
39379 2024-12-22T00:16:29Z 4a721..
39322 2024-12-21T03:29:02Z 6a372..
More recent thms