T253
(Click "Prove" to run)
Prove Theorem:
(=> (exists ?X (forall ?Y (F ?X ?Y))) (forall ?Y (exists ?X (F ?X ?Y))))
Proof Trace