#2161 (Mar 23, 2024, 12:50:09 AM)

1. merged (detail / hgweb)
2. added lemma wellorder.wfp_on_less[simp] (detail / hgweb)

Started by an SCM change

This run spent:

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