Proofgold Object

λ x0 : (((ι → ο) → ο) → ο) → ο . Descr_Vo3 (λ x1 : ((ι → ο) → ο) → ο . a327b.. x1 = x0)

type
((((ι → ο) → ο) → ο) → ο) → ((ι → ο) → ο) → ο

theory
HF

name
-

definition
PUKiR..

Megalodon
down_4_3

proofgold address
TMSj3..^down_4_3

creator
1627 PrGxv../b528a..

owner
1627 PrGxv../b528a..

term root
02652..