Proofgold Term Root Disambiguation

not (8 = 3)

as obj
-

as prop
4862b..^neq_8_3

theory
HF

stx
82de5..

address
TMR2B..^neq_8_3