Proofgold Object

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

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

theory
HoTg

name
Descr_Vo4

definition
PUfss..

Megalodon
-

proofgold address
TMQ8A..

creator
2718 PrGxv../246ed..

owner
2718 PrGxv../246ed..

term root
8b81a..