#2123 (Feb 12, 2024, 12:50:12 AM)

1. new lemmas involving Ramsey numbers, infinite sets (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.