#878 (Apr 29, 2017, 7:44:07 AM)

1. added lemma irreducible_implies_minimal_degree (detail / hgweb)
2. simplified proof (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 7 min 57 sec build duration;
• 8 min 2 sec total from scheduled to completion.