Proofgold Proposition

∀ x0 . SNo x0 ⟶ exp_SNo_nat x0 1 = x0

type
prop

theory
HotG

name
exp_SNo_nat_1

proof
PUSRj..

Megalodon
exp_SNo_nat_1

proofgold address
TMHoq..^{exp_SNo_nat_1}

creator
27837 PrQUS../9329b..

owner
27837 PrQUS../9329b..

term root
9a610..