Proofgold Object

λ x0 . not (6eae3.. x0)

type
ι → ο

theory
HoTg

name
-

definition
PUUTm..

Megalodon
-

proofgold address
TMM8j..

creator
4786 PrGxv../90923..

owner
4786 PrGxv../90923..

term root
b3b26..