Proofgold Term Root Disambiguation

λ x0 : ο . x0 ⟶ False

as obj
c156d..

as prop
-

theory
HoTg

stx
f69d8..

address
TMWAv..^not