#909 (Apr 4, 2019, 12:50:07 AM)

1. theory Poly_Mapping (detail / hgweb)
2. new theory Library/Poly_Mapping, of almost-everywhere-zero functions (detail / hgweb)
3. Material concerning exact sequences of groups (detail / hgweb)
4. Products and sums of a family of groups (detail / hgweb)
5. new group theory material, mostly ported from HOL Light (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.