Proofgold Object

prim3

type
ι → ι

theory
HotG

name
-

definition
PUQdE..

Megalodon
-

proofgold address
TMP5u..

creator

owner

term root
84477..