Proofgold Object

λ x0 x1 . 40dde.. (e4431.. x0) (λ x2 . prim1 x2 x0) (e4431.. x1) (λ x2 . prim1 x2 x1)

type
ι → ι → ο

theory
HoTg

name
-

definition
PURFE..

Megalodon
-

proofgold address
TMRnV..

creator
2815 PrGxv../0755a..

owner
2815 PrGxv../0755a..

term root
d65fc..