Proofgold Proposition

∀ x0 . HSNo x0 ⟶ exp_HSNo_nat x0 1 = x0

type
prop

theory
HotG

name
exp_HSNo_nat_1

proof
PUgzA..

Megalodon
exp_HSNo_nat_1

proofgold address
TMS9E..^{exp_HSNo_nat_1}

creator
28464 PrQUS../84dc4..

owner
28464 PrQUS../84dc4..

term root
83d5e..