#2131 (Feb 20, 2024, 12:50:07 AM)

1. merged (detail / hgweb)
2. A small collection of new and useful facts, including the AM-GM inequality (detail / hgweb)
3. remove selected occurrences of 'moura' tactic (detail / hgweb)
4. added lemmas relpowp_left_unique and relpow_left_unique (detail / hgweb)
5. added lemmas relpowp_right_unique and relpow_right_unique (detail / hgweb)
6. use define_time_fun (detail / hgweb)

Started by an SCM change

This run spent:

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