Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . x1SNoS_ (ordsucc (ordsucc x0))SNoLt 0 x1SNoLe (eps_ x0) x1
type
prop
theory
HotG
name
SNo_pos_eps_Le
proof
PUfRQ..
Megalodon
SNo_pos_eps_Le
proofgold address
TMTNF..SNo_pos_eps_Le
creator
6761 Pr6Pc../15223..
owner
6761 Pr6Pc../15223..
term root
f1e29..