Proofgold Term Root Disambiguation

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

as obj
-

as prop
1ffa0..

theory
HoTg

stx
c93a1..

address
TMHNY..^dneg