Proofgold Object

λ x0 x1 . prim2 (prim2 x0 x1) (91630.. x0)

type
ι → ι → ι

theory
HoTg

name
-

definition
PUgom..

Megalodon
-

proofgold address
TMMqH..

creator
1652 PrGxv../0e771..

owner
1652 PrGxv../0e771..

term root
7a075..