Proofgold Object

λ x0 . λ x1 : (ι → ο) → ο . 1216a.. (e5b72.. x0) (λ x2 . x1 (λ x3 . prim1 x3 x2))

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

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMW2Y..

creator
2774 PrGxv../c903d..

owner
2774 PrGxv../c903d..

term root
879a5..