Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
∀ x1 :
ι → ι
.
∀ x2 :
ι →
ι → ο
.
set_of_pairs
(
Sep2
x0
x1
x2
)
type
prop
theory
HotG
name
Sep2_set_of_pairs
proof
PUdQg..
Megalodon
Sep2_set_of_pairs
proofgold address
TMH6h..
Sep2_set_of_pairs
creator
4899
Pr6Pc..
/
f70aa..
owner
4899
Pr6Pc..
/
f70aa..
term root
a6055..