#1413 (Mar 7, 2021, 12:50:09 AM)

1. consolidated names (detail / hgweb)
2. reduced dependencies on theory List_Permutation (detail / hgweb)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.