Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ nat_p (exp_SNo_nat x0 x1)

type
prop

theory
HotG

name
nat_exp_SNo_nat

proof
PUUxZ..

Megalodon
nat_exp_SNo_nat

proofgold address
TMd1C..^{nat_exp_SNo_nat}

creator
12264 PrGxv../7b576..

owner
12264 PrGxv../7b576..

term root
14de7..