Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . equip x1 x0 ⟶ equip (setexp x1 2) (69aae.. x0 2)

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
equip_setexp_2b

proofgold address
TMFEe..^{equip_setexp_2b}

creator
2364 PrGxv../08efe..

owner
2364 PrGxv../08efe..

term root
f75c2..