Proofgold Proposition

∀ x0 . CSNo x0 ⟶ ∀ x1 . nat_p x1 ⟶ CSNo (exp_CSNo_nat x0 x1)

type
prop

theory
HotG

name
CSNo_exp_CSNo_nat

proof
PUQvq..

Megalodon
CSNo_exp_CSNo_nat

proofgold address
TMG57..^{CSNo_exp_CSNo_nat}

creator
28444 PrQUS../2bcc7..

owner
28444 PrQUS../2bcc7..

term root
11b0c..