Proofgold Term Root Disambiguation

not (0 = 1)

as obj
-

as prop
e3ec9..^neq_0_1

theory
HF

stx
0d78c..

address
TML6V..^neq_0_1