Proofgold Object

λ x0 . λ x1 : ι → ο . λ x2 x3 : ι → ι . λ x4 . pair_tag x0 (x3 (CD_proj0 x0 x1 x4)) (x2 (CD_proj1 x0 x1 x4))

type
ι → (ι → ο) → (ι → ι) → (ι → ι) → ι → ι

theory
HotG

name
CD_conj

definition
PUYQJ..

Megalodon
CD_conj

proofgold address
TMHiT..^CD_conj

creator
28412 PrQUS../8bdfc..

owner
28412 PrQUS../8bdfc..

term root
b39bd..