Proofgold Object

ap (ap (9ca4f.. (setexp 2 2)) (lam 2 (λ x0 . x0))) (lam 2 (λ x0 . x0))

type
ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMSdD..

creator
48789 PrMzh../67f06..

owner
48789 PrMzh../67f06..

term root
68f05..