Proofgold Object

cq1p

type
ι → ο

theory
SetMM

name
cq1p

definition
PUV1k..

Megalodon
-

proofgold address
TMSc4..

creator

owner

term root
4870f..