Proofgold Object

λ x0 . lam_id (ap x0 0)

type
ι → ι

theory
HotG

name
struct_id

definition
PUWcG..

Megalodon
struct_id

proofgold address
TMaT5..^struct_id

creator
9724 PrCx1../6136d..

owner
9724 PrCx1../6136d..

term root
ac22e..