#1511 (Apr 14, 2018, 11:35:35 PM)

1. integrable_spike: new premise order (detail / hgweb)
2. merged (detail / hgweb)
3. replaced the one use of has_integral_spike_set (detail / hgweb)
4. dropping "j < i" condition in lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 45 min build duration;
• 45 min total from scheduled to completion.