Proofgold Recent Thms

38860 2024-11-25T15:42:20Z 641ff..
38860 2024-11-25T15:42:20Z cabb3..
38859 2024-11-25T14:08:25Z d5fa2..
38855 2024-11-25T11:19:41Z d298a..
38853 2024-11-25T09:41:47Z 9d992..
38848 2024-11-25T08:03:20Z 35490..
38846 2024-11-25T04:51:03Z 1ab29..
38843 2024-11-25T03:23:02Z 1093d..
38843 2024-11-25T03:23:02Z 35ec6..
38841 2024-11-25T02:15:40Z 59760..
More recent thms