Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMVn1..

creator
22364 PrBPC../4a219..

owner
22364 PrBPC../4a219..

term root
32e4f..