Proofgold Object

λ x0 : ι → (ι → (((ι → ο) → ο) → ο) → ο) → (((ι → ο) → ο) → ο) → ο . λ x1 . Descr_Vo4 (9eb9b.. x0 x1)

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

theory
HoTg

name
In_rec_Vo4

definition
PUfss..

Megalodon
-

proofgold address
TMbmH..

creator
2718 PrGxv../776ad..

owner
2718 PrGxv../776ad..

term root
d82c5..