Build #80 (Nov 28, 2021, 12:14:00 AM)

1. added asymp_{less,greater} to preorder and moved mult1_lessE out (detail)
2. renamed multp_code_iff and multeqp_code_iff (detail)
3. simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0 (detail)
4. renamed Multiset.multp and Multiset.multeqp (detail)

Started by timer

This run spent:

• 11 ms waiting;
• 16 hr build duration;
• 16 hr total from scheduled to completion.