Proofgold Term Root Disambiguation

∀ x0 : ο . x0 ⟶ x0

as obj
d3e93..

as prop
-

theory
HoTg

stx
336f4..

address
TMXh1..^True