Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ο . λ x3 : ι → ι → ι . prim3 (94f9e.. x0 (λ x4 . a4c2a.. (x1 x4) (x2 x4) (x3 x4)))

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMGDM..

creator
1652 PrGxv../4c977..

owner
1652 PrGxv../4c977..

term root
868ec..