Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ι . lam x0 (λ x3 . lam (x1 x3) (x2 x3))

type
ι → (ι → ι) → CT2 ι

theory
HotG

name
lam2

definition
PUdQg..

Megalodon
lam2

proofgold address
TMFfL..^lam2

creator
4899 Pr6Pc../56334..

owner
4899 Pr6Pc../56334..

term root
f73bd..