Proofgold Object

λ x0 x1 . λ x2 : ι → ι . λ x3 . λ x4 : ι → ι → ι . λ x5 x6 . ∀ x7 : ι → ι → ο . x7 x1 x3 ⟶ (∀ x8 . prim1 x8 x0 ⟶ ∀ x9 . x7 x8 x9 ⟶ x7 (x2 x8) (x4 x8 x9)) ⟶ x7 x5 x6

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

theory
HoTg

name
-

definition
PUVC9..

Megalodon
-

proofgold address
TMNhc..

creator
4672 PrGxv../f46fb..

owner
4672 PrGxv../f46fb..

term root
dab76..