J011
(=> (forall ?X (<=> (F ?X) (G ?X))) (forall ?X (<=> (F ?X) (G ?X))))
Proof Trace