Proofgold Term Root Disambiguation

∀ x0 . exp_nat x0 0 = 1

as obj
-

as prop
856b4..^exp_nat_0

theory
HotG

stx
0cb0d..

address
TMWGW..^exp_nat_0