Proofgold Object

type
ι → (ι → ι) → ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMJT4..

creator
2774 PrGxv../4f1c2..

owner
2774 PrGxv../4f1c2..

term root
f0179..