Proofgold Object

λ x0 . x0 = lam omega (ap x0)

type
ι → ο

theory
HotG

name
-

definition
PUZC8..

Megalodon
-

proofgold address
TMREa..

creator
6992 Pr6Pc../4aa09..

owner
6992 Pr6Pc../4aa09..

term root
7826f..