Proofgold Proposition

∀ x0 . CSNo x0 ⟶ exp_CSNo_nat x0 1 = x0

type
prop

theory
HotG

name
exp_CSNo_nat_1

proof
PUQvq..

Megalodon
exp_CSNo_nat_1

proofgold address
TMU6i..^{exp_CSNo_nat_1}

creator
28444 PrQUS../31918..

owner
28444 PrQUS../31918..

term root
00324..