Proofgold Proposition

∀ x0 . exp_HSNo_nat x0 0 = 1

type
prop

theory
HotG

name
exp_HSNo_nat_0

proof
PUgzA..

Megalodon
exp_HSNo_nat_0

proofgold address
TMaRS..^{exp_HSNo_nat_0}

creator
28464 PrQUS../ce769..

owner
28464 PrQUS../ce769..

term root
a8e4e..