T325
(=> (exists ?Y (forall ?X (<=> (f ?X) (= ?X ?Y)))) (<=> (forall ?X (=> (f ?X) (g ?X))) (exists ?X (and (f ?X) (g ?X)))))
Proof Trace