Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
equip_finite_Power

proofgold address
TMdyY..^{equip_finite_Power}

creator
30111 PrQUS../037ab..

owner
30111 PrQUS../037ab..

term root
0058e..