Proofgold Term Root Disambiguation

∀ x0 . proj0 x0 = ap x0 0

as obj
-

as prop
d4f35..^proj0_ap_0

theory
HotG

stx
08e38..

address
TMYCX..^proj0_ap_0