#1677 (May 23, 2018, 9:16:06 AM)

1. automatic classical rule to derive a dvd b from b mod a = 0 (detail / hgweb)
2. consider dvdE for automated classical proving (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 3 hr 24 min build duration;
• 3 hr 29 min total from scheduled to completion.