Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → ο . λ x2 . prim0 (λ x3 . and (x1 x3) (x2 = pair_tag x0 (CD_proj0 x0 x1 x2) x3))
type
ι(ιο) → ιι
theory
HotG
name
CD_proj1
definition
PUYQJ..
Megalodon
CD_proj1
proofgold address
TMQjp..CD_proj1
creator
28412 PrQUS../4c9f3..
owner
28412 PrQUS../4c9f3..
term root
934ee..