Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
∀ x1 .
x1
∈
omega
⟶
SNoLt
x0
(
add_SNo
x0
(
eps_
x1
)
)
type
prop
theory
HotG
name
add_SNo_eps_Lt
proof
PUgvb..
Megalodon
add_SNo_eps_Lt
proofgold address
TMbHA..
add_SNo_eps_Lt
creator
12283
PrGxv..
/
8fec3..
owner
12283
PrGxv..
/
8fec3..
term root
dfe40..