Proofgold Term Root Disambiguation

∀ x0 . proj0 x0 = ap x0 0

as obj
-

as prop
82f37..^proj0_ap_0

theory
HF

stx
89549..

address
TMV7D..^proj0_ap_0