Proofgold Object

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

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

theory
HotG

name
Descr_Vo2

definition
PUVNt..

Megalodon
Descr_Vo2

proofgold address
TMQQU..^Descr_Vo2

creator
4897 Pr6Pc../fe419..

owner
4897 Pr6Pc../fe419..

term root
a64b5..