#1720 (Jun 25, 2022, 1:25:39 AM)

1. merged (detail / hgweb)
2. added lemma monotone_on_o (detail / hgweb)
3. redefined mono_on and strict_mono_on as an abbreviation of monotone_on (detail / hgweb)
4. changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates (detail / hgweb)

Started by an SCM change

This run spent:

• 35 min waiting;
• 1 hr 37 min build duration;
• 2 hr 13 min total from scheduled to completion.