Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ∈ x1 ⟶ 9d271.. x0 ∈ 9d271.. x1

as obj
-

as prop
e7373..

theory
HotG

stx
f4683..

address
TMPKr..