Proofgold Term Root Disambiguation

∀ x0 : ο . x0 ⟶ not (not x0)

as obj
-

as prop
91bfe..^dnegI

theory
HF

stx
36a0a..

address
TMLcf..^dnegI