P
Initializing...
Theorem 3.1: arbitrary unions of CWO sets are CWO · Prove2Me