Proofgold Object

prim1

type
ι → ι → ο

theory
HoTg

name
-

definition
PUgom..

Megalodon
-

proofgold address
TMM6F..

creator

owner

term root
73c9e..