Proofgold Object

lam 2 (λ x0 . lam 2 (λ x1 . ap (ap (9ca4f.. 2) (ap (ap 9de32.. x0) x1)) x0))

type
ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMKsw..

creator
48789 PrMzh../80648..

owner
48789 PrMzh../80648..

term root
df277..