Proofgold Term Root Disambiguation

∀ x0 x1 . In x0 x1 ⟶ d97e3.. (1ce4f.. x0) (1ce4f.. x1)

as obj
-

as prop
8bd78..^In_1_up

theory
HF

stx
f19eb..

address
TMU2N..^In_1_up