Proofgold Object

∀ x0 : ο . x0

type
ο

theory
SetMM

name
-

definition
PUVjB..

Megalodon
-

proofgold address
TMXE9..

creator
36618 PrCmT../ed00a..

owner
36618 PrCmT../ed00a..

term root
1db70..