#970 (Jul 6, 2017, 4:23:09 PM)

1. add names for some lemmas in PSemigroupConvolution (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 3 min 2 sec build duration;
• 3 min 9 sec total from scheduled to completion.