Proofgold Term Root Disambiguation

not (2 = 0)

as obj
-

as prop
db5d7..^neq_2_0

theory
HF

stx
0d78c..

address
TMKqA..^neq_2_0