Proofgold Object

prim0

type
(ι → ο) → ι

theory
HoTg

name
-

definition
PUgom..

Megalodon
-

proofgold address
TMZkd..

creator

owner

term root
d5876..