Proofgold Term Root Disambiguation

0 ∈ u17

as obj
-

as prop
c5b55..

theory
HotG

stx
6251a..

address
TMd3j..