#1714 (Jun 15, 2022, 12:50:08 AM)

1. fix veriT reconstruction for and_pos and lambda-lifting (detail / hgweb)
2. added lemmas image_mset_eq_{image_mset_plus,plus,plus_image_mset}D, and multp_image_mset_image_msetD (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.