Proofgold Object

λ x0 . and (nat_p x0) (∀ x1 : ο . (∀ x2 . and (nat_p x2) (x0 = mul_nat 2 x2) ⟶ x1) ⟶ x1)

type
ι → ο

theory
HF

name
-

definition
PURiK..

Megalodon
-

proofgold address
TMagQ..

creator
2058 PrGxv../f678e..

owner
2058 PrGxv../f678e..

term root
7dadd..