Proofgold Object

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

type
ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMWkx..

creator
48789 PrMzh../4a31d..

owner
48789 PrMzh../4a31d..

term root
5ec23..