Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
equip_setexp_3

proofgold address
TMdJF..^{equip_setexp_3}

creator
2364 PrGxv../18e60..

owner
2364 PrGxv../18e60..

term root
7fbb2..