Proofgold Proposition

∀ x0 . OSNo x0 ⟶ ∀ x1 . nat_p x1 ⟶ OSNo (exp_OSNo_nat x0 x1)

type
prop

theory
HotG

name
OSNo_exp_OSNo_nat

proof
PUdK2..

Megalodon
OSNo_exp_OSNo_nat

proofgold address
TMHDA..^{OSNo_exp_OSNo_nat}

creator
28513 PrQUS../0c0ac..

owner
28513 PrQUS../0c0ac..

term root
9fea8..