Proofgold Object

λ x0 : (((ι → ο) → ο) → ο) → ο . λ x1 : (ι → ο) → ο . ∀ x2 : ((ι → ο) → ο) → ο . x0 x2 ⟶ x2 x1

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

theory
HotG

name
Descr_Vo3

definition
PUKtJ..

Megalodon
Descr_Vo3

proofgold address
TMSAD..^Descr_Vo3

creator
4890 Pr6Pc../720d3..

owner
4890 Pr6Pc../720d3..

term root
f25ee..