Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
∀ x1 :
ι → ι
.
(
∀ x2 .
x2
∈
x0
⟶
ordinal
(
x1
x2
)
)
⟶
ordinal
(
famunion
x0
x1
)
type
prop
theory
HotG
name
ordinal_famunion
proof
PUL8Q..
Megalodon
ordinal_famunion
proofgold address
TMNBv..
ordinal_famunion
creator
4882
Pr6Pc..
/
e33b6..
owner
4882
Pr6Pc..
/
e33b6..
term root
fc035..