Proofgold Recent Thms

48178 2026-01-07T09:08:54Z 3e4c0..
48177 2026-01-07T08:07:36Z f5826..
48177 2026-01-07T08:07:36Z b7c4b..
48176 2026-01-07T07:08:21Z 0293e..
48172 2026-01-07T05:52:41Z 5789d..
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..
More recent thms