Proofgold Object

λ x0 . and (struct_u x0) (unpack_u_o x0 (λ x1 . inj x1 x1))

type
ι → ο

theory
HotG

name
SelfInjection

definition
PUcd4..

Megalodon
struct_u_inj

proofgold address
TMasL..^struct_u_inj

creator
9725 PrCx1../91bbf..

owner
9725 PrCx1../91bbf..

term root
b7236..