Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . equip x1 x0 ⟶ equip (prim4 x1) (exp_SNo_nat 2 x0)

type
prop

theory
HotG

name
equip_finite_Power

proof
PUcxS..

Megalodon
-

proofgold address
TMZDy..

creator
29779 PrQUS../ada0e..

owner
29779 PrQUS../ada0e..

term root
bc390..