Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x1 ⟶ x0 ⟶ x2

as obj
-

as prop
54565..^ax_frege8

theory
SetMM

stx
8596b..

address
TMWr4..^ax_frege8