Proofgold Object

λ x0 x1 x2 . lam x0 (λ x3 . ap x1 (ap x2 x3))

type
ι → ι → ι → ι

theory
HotG

name
lam_comp

definition
PUXQg..

Megalodon
lam_comp

proofgold address
TMT1t..^lam_comp

creator
5919 Pr6Pc../70b0d..

owner
5919 Pr6Pc../70b0d..

term root
29d9e..