Proofgold Object

prim2

type
ι → ι → ι

theory
HoTg

name
-

definition
PUgom..

Megalodon
-

proofgold address
TMSWh..

creator

owner

term root
e2a83..