Proofgold Object

λ x0 . prim3 (94f9e.. 48ef8.. (λ x1 . prim0 (aa8d2.. x1 x0)))

type
ι → ι

theory
HoTg

name
-

definition
PUUEj..

Megalodon
-

proofgold address
TMbFb..

creator
2699 PrGxv../ff0ae..

owner
2699 PrGxv../ff0ae..

term root
d42ef..