Proofgold Object

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

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

theory
HotG

name
-

definition
PUX9e..

Megalodon
-

proofgold address
TMS4y..

creator
4948 Pr6Pc../3a199..

owner
4948 Pr6Pc../3a199..

term root
dab76..