Proofgold Object

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

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

theory
HotG

name
Descr_Vo4

definition
PUXLb..

Megalodon
Descr_Vo4

proofgold address
TMd1y..^Descr_Vo4

creator
4892 Pr6Pc../62b78..

owner
4892 Pr6Pc../62b78..

term root
8b81a..