Proofgold Object

λ x0 . lam (setexp 2 x0) (λ x1 . ap (1c786.. 2) (lam 2 (λ x2 . ap (ap 90e5f.. (ap (1c786.. x0) (lam x0 (λ x3 . ap (ap 90e5f.. (ap x1 x3)) x2)))) x2)))

type
ι → ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMN9q..

creator
48789 PrMzh../b61bf..

owner
48789 PrMzh../b61bf..

term root
786b2..