Build #903 (Jun 2, 2023, 5:42:10 PM)

1. redefined fcard as an abbreviation based on Finite_Set.card (detail / hgweb)

Started by an SCM change

This run spent:

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

• UTP
• Ribbon_Proofs
• FSM_Tests
• Incredible_Proof_Machine
• Query_Optimization