Theorem Sample 2
(Click "Prove" to run)
Prove Theorem:
(forall ?X (forall ?Y (=> (not (= (f ?X) (f ?Y))) (not (= ?X ?Y)))))
Proof Trace