Proofgold Term Root Disambiguation

not (6 = 1)

as obj
-

as prop
53f92..^neq_6_1

theory
HF

stx
82de5..

address
TMKkr..^neq_6_1