Proofgold Object

prim4

type
ι → ι

theory
HotG

name
-

definition
PUQdE..

Megalodon
-

proofgold address
TMFJZ..

creator

owner

term root
2a38d..