Proofgold Object

prim0

type
ι → ι → ι

theory
HOAS

name
-

definition
PUPsB..

Megalodon
-

proofgold address
TMN7g..

creator

owner

term root
d5876..