Proofgold Object

prim6

type
ι → ι

theory
HotG

name
-

definition
PUQdE..

Megalodon
-

proofgold address
TMVCs..

creator

owner

term root
5a50b..