Proofgold Object

λ x0 . lam (setexp 2 x0) (λ x1 . ap (ap (9ca4f.. (setexp 2 x0)) x1) (lam x0 (λ x2 . 8d6e5..)))

type
ι → ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMaxX..

creator
48789 PrMzh../3ab94..

owner
48789 PrMzh../3ab94..

term root
d1099..