Proofgold Recent Thms

38395 2024-11-05T10:59:26Z 1e55f..
38395 2024-11-05T10:59:26Z a064c..
38394 2024-11-05T10:19:04Z d8b2a..
38394 2024-11-05T10:19:04Z 3c620..
38393 2024-11-05T09:58:56Z 56f53..
38393 2024-11-05T09:58:56Z 523b5..
38392 2024-11-05T09:42:41Z 07c99..
38391 2024-11-05T08:43:44Z 1eeb9..
38391 2024-11-05T08:43:44Z 75a90..
38390 2024-11-05T07:37:44Z 09dca..
38390 2024-11-05T07:37:44Z b9f3c..
More recent thms