Proofgold Object

ap (1c786.. 2) (lam 2 (λ x0 . x0))

type
ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMMGT..

creator
48789 PrMzh../5442c..

owner
48789 PrMzh../5442c..

term root
e0e53..