Proofgold Object

type
ι → ο

theory
SetMM

name
ccmp

definition
PUV1k..

Megalodon
-

proofgold address
TMcLj..

creator
36257 PrCmT../e1bb7..

owner
36257 PrCmT../e1bb7..

term root
b2652..