Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
infinite
x0
⟶
∀ x1 .
infinite
(
setminus
x0
(
Sing
x1
)
)
type
prop
theory
HotG
name
infinite_remove1
proof
PUgHR..
Megalodon
infinite_remove1
proofgold address
TMErx..
infinite_remove1
creator
29749
PrQUS..
/
603ea..
owner
29749
PrQUS..
/
603ea..
term root
f236a..