Search for blocks/addresses/...
Proofgold Asset
asset id
3b8eecccee43927e9d280372a34db9ef19749e8cf751a14925521965072fff9d
asset hash
307ae9291a2e8c80158c5eb55ec81e6908bb2f8e9ea3ccf7e4105707cb79127f
bday / block
12928
tx
78091..
preasset
doc published by
Pr6Pc..
Param
UPair
UPair
:
ι
→
ι
→
ι
Param
Sing
Sing
:
ι
→
ι
Definition
KPair_alt7
:=
λ x0 x1 .
UPair
(
UPair
x0
x1
)
(
Sing
x0
)
Definition
KPair_alt6
:=
λ x0 x1 .
UPair
(
Sing
x0
)
(
UPair
x0
x1
)
Definition
KPair_alt5
:=
λ x0 x1 .
UPair
(
Sing
x0
)
(
UPair
x1
x0
)
Definition
KPair_alt4
:=
λ x0 x1 .
UPair
(
UPair
x1
x0
)
(
Sing
x0
)
Definition
KPair_alt3
:=
λ x0 x1 .
UPair
(
UPair
x1
x0
)
(
Sing
x1
)
Definition
KPair_alt2
:=
λ x0 x1 .
UPair
(
Sing
x1
)
(
UPair
x1
x0
)
Definition
KPair_alt1
:=
λ x0 x1 .
UPair
(
Sing
x1
)
(
UPair
x0
x1
)
Definition
KPair
:=
λ x0 x1 .
UPair
(
UPair
x0
x1
)
(
Sing
x1
)