Proofgold Term Root Disambiguation

not (1 = 0)

as obj
-

as prop
a871f..^neq_1_0

theory
HF

stx
0d78c..

address
TMYKm..^neq_1_0