Proofgold Object

λ x0 . prim2 x0 x0

type
ι → ι

theory
HoTg

name
-

definition
PUgom..

Megalodon
-

proofgold address
TMLj9..

creator
1652 PrGxv../24079..

owner
1652 PrGxv../24079..

term root
ec939..