Search for blocks/addresses/...
Proofgold Address
address
PUhvy5ggBqD2hS7ahfSmxwV3XEygpJREthm
total
0
mg
-
conjpub
-
current assets
307ae..
/
3b8ee..
bday:
12928
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
)
previous assets