Proofgold Term Root Disambiguation

∀ x0 . V_ (9d271.. x0) = V_ x0

as obj
-

as prop
5bd9b..

theory
HotG

stx
f4683..

address
TMPyV..