Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u4 ⟶ 3ffd5.. x0 ∈ u4

as obj
-

as prop
b1c00..

theory
HotG

stx
08410..

address
TMU2R..