Proofgold Object

λ x0 . 0ac37.. x0 (91630.. x0)

type
ι → ι

theory
HoTg

name
-

definition
PUUEj..

Megalodon
-

proofgold address
TMcMJ..

creator
2699 PrGxv../d53e2..

owner
2699 PrGxv../d53e2..

term root
19043..