Proofgold Object

λ x0 x1 . 35b9b.. (e4431.. x0) (λ x2 . prim1 x2 x0) (e4431.. x1) (λ x2 . prim1 x2 x1)

type
ι → ι → ο

theory
HoTg

name
-

definition
PURFE..

Megalodon
-

proofgold address
TMHgF..

creator
2815 PrGxv../a8b4a..

owner
2815 PrGxv../a8b4a..

term root
76909..