Proofgold Proposition

∀ x0 . exp_OSNo_nat x0 0 = 1

type
prop

theory
HotG

name
exp_OSNo_nat_0

proof
PUdK2..

Megalodon
exp_OSNo_nat_0

proofgold address
TMS8g..^{exp_OSNo_nat_0}

creator
28513 PrQUS../8c8f1..

owner
28513 PrQUS../8c8f1..

term root
46962..