Proofgold Term Root Disambiguation

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

as obj
-

as prop
4495a..

theory
HoTg

stx
336f4..

address
TMVPd..^notE