Proofgold Proposition

∀ x0 . OSNo x0 ⟶ exp_OSNo_nat x0 1 = x0

type
prop

theory
HotG

name
exp_OSNo_nat_1

proof
PUdK2..

Megalodon
exp_OSNo_nat_1

proofgold address
TMH6p..^{exp_OSNo_nat_1}

creator
28513 PrQUS../5ece3..

owner
28513 PrQUS../5ece3..

term root
f5712..