Proofgold Object

λ x0 x1 . prim1 x1 x0

type
ι → ι → ο

theory
HoTg

name
decode_p

definition
PUTo6..

Megalodon
-

proofgold address
TMM9p..

creator
2774 PrGxv../5c42b..

owner
2774 PrGxv../5c42b..

term root
02231..