Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ο . iff x0 x1 ⟶ iff x1 x2 ⟶ iff x0 x2

as obj
-

as prop
aced5..^iff_trans

theory
HF

stx
5e00d..

address
TMFu3..^iff_trans