Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ equip (exp_nat x0 x1) (setexp x0 x1)

type
prop

theory
HotG

name
-

proof
PUNZW..

Megalodon
-

proofgold address
TMT1B..

creator
30499 Pr5Zc../f2eb4..

owner
30499 Pr5Zc../f2eb4..

term root
bd08d..