Proofgold Object

λ x0 : ((ι → ο) → ο) → ο . Descr_Vo2 (λ x1 : (ι → ο) → ο . a4b00.. x1 = x0)

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

theory
HF

name
-

definition
PUKiR..

Megalodon
down_3_2

proofgold address
TMR8d..^down_3_2

creator
1627 PrGxv../4f47d..

owner
1627 PrGxv../4f47d..

term root
88ff4..