Proofgold Object

prim1

type
(ι → ι) → ι

theory
HOAS

name
-

definition
PUPsB..

Megalodon
-

proofgold address
TMWpi..

creator

owner

term root
73c9e..