Proofgold Object

λ x0 x1 x2 . lam_comp (ap x0 0)

type
ι → ι → ι → ι → ι → ι

theory
HotG

name
struct_comp

definition
PUWcG..

Megalodon
struct_comp

proofgold address
TMN2p..^struct_comp

creator
9724 PrCx1../5eb45..

owner
9724 PrCx1../5eb45..

term root
1d1c1..