Proofgold Object

λ x0 : ι → ο . λ x1 : ι → ι → ι → ο . λ x2 : ι → ι . λ x3 : ι → ι → ι → ι → ι → ι . ∀ x4 x5 x6 . x0 x4 ⟶ x0 x5 ⟶ x1 x4 x5 x6 ⟶ x3 x4 x4 x5 x6 (x2 x4) = x6

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

theory
HotG

name
MetaCat_IdR_p

definition
PUNFE..

Megalodon
idL

proofgold address
TMdD4..^idL

creator
9568 PrCx1../d1ebb..

owner
9568 PrCx1../d1ebb..

term root
8bf94..