Proofgold Object

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

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

theory
HotG

name
MetaCat_IdL_p

definition
PUNFE..

Megalodon
idR

proofgold address
TMNZF..^idR

creator
9568 PrCx1../fde62..

owner
9568 PrCx1../fde62..

term root
e0f11..