#1702 (May 26, 2022, 1:51:42 AM)

1. move monotone from Complete_Partial_Order to Orderings (detail / hgweb)
2. qualified name to fix integrable_cong ambiguity (detail / hgweb)
3. Renamed the misleading has_field_derivative_iff_has_vector_derivative. Inserted a number of minor lemmas (detail / hgweb)

Started by an SCM change

This run spent:

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