Proofgold Object

λ x0 . lam x0 (λ x1 . x1)

type
ι → ι

theory
HotG

name
lam_id

definition
PUXQg..

Megalodon
lam_id

proofgold address
TMPRH..^lam_id

creator
5919 Pr6Pc../4b39c..

owner
5919 Pr6Pc../4b39c..

term root
62718..