Proofgold Term Root Disambiguation

∀ x0 . 69aae.. x0 0 = 1

as obj
-

as prop
94de7..^exp_nat_0

theory
HF

stx
e311e..

address
TMXFD..^exp_nat_0