#660 (Jun 16, 2018, 12:50:06 AM)

1. merged (detail / hgweb)
2. more on infinite products. Also subgroup_imp_subset -> subgroup.subset (detail / hgweb)
3. empty -> Map.empty (detail / hgweb)
4. Map.empty now qualified to avoid name clashes (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.