Proofgold Term Root Disambiguation

∀ x0 . exp_HSNo_nat x0 0 = 1

as obj
-

as prop
85819..^{exp_HSNo_nat_0}

theory
HotG

stx
43801..

address
TMK9L..^{exp_HSNo_nat_0}