#1159 (Oct 12, 2017, 2:56:09 PM)

1. merge (detail / hgweb)
2. new theorem for matrices of dimension 4: the Jordan-block of spectral radius is largest (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 4 min 52 sec build duration;
• 4 min 57 sec total from scheduled to completion.