Proofgold Object

type
ι → ι → ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMVFE..

creator
2774 PrGxv../a4e09..

owner
2774 PrGxv../a4e09..

term root
03db1..