Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1SNoLt 0 x0SNoLt 0 x1SNoLt 0 (div_SNo x0 x1)
type
prop
theory
HotG
name
div_SNo_pos_pos
proof
PUSRj..
Megalodon
div_SNo_pos_pos
proofgold address
TMRsP..div_SNo_pos_pos
creator
27837 PrQUS../e9028..
owner
27837 PrQUS../e9028..
term root
acf73..