Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
(
∀ x1 .
x1
∈
omega
⟶
∃ x2 .
and
(
x2
∈
SNoS_
omega
)
(
and
(
SNoLt
x2
x0
)
(
SNoLt
x0
(
add_SNo
x2
(
eps_
x1
)
)
)
)
)
⟶
∀ x1 .
x1
∈
omega
⟶
∃ x2 .
and
(
x2
∈
SNoS_
omega
)
(
and
(
SNoLt
x2
(
minus_SNo
x0
)
)
(
SNoLt
(
minus_SNo
x0
)
(
add_SNo
x2
(
eps_
x1
)
)
)
)
type
prop
theory
HotG
name
minus_SNo_prereal_2
proof
PUgvb..
Megalodon
minus_SNo_prereal_2
proofgold address
TMJ2G..
minus_SNo_prereal_2
creator
12283
PrGxv..
/
db2ff..
owner
12283
PrGxv..
/
db2ff..
term root
68fe9..