Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . equip x1 x0 ⟶ equip (setexp x1 2) (mul_nat x0 x0)

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
equip_setexp_2

proofgold address
TMWkG..^{equip_setexp_2}

creator
2364 PrGxv../51de2..

owner
2364 PrGxv../51de2..

term root
a8fb9..