Proofgold Proposition

∀ x0 . exp_CSNo_nat x0 0 = 1

type
prop

theory
HotG

name
exp_CSNo_nat_0

proof
PUQvq..

Megalodon
exp_CSNo_nat_0

proofgold address
TMJCe..^{exp_CSNo_nat_0}

creator
28444 PrQUS../ac8e0..

owner
28444 PrQUS../ac8e0..

term root
4ac19..