Proofgold Object

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

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

theory
HotG

name
MetaFunctor_prop1

definition
PUNFE..

Megalodon
idT

proofgold address
TMZGJ..^idT

creator
9568 PrCx1../60b70..

owner
9568 PrCx1../60b70..

term root
5b529..