Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 x4 . SNo x0SNoLt 0 x0x1SNoR x0SNo x2mul_SNo x1 x2 = 1SNo x3SNoLt 1 (mul_SNo x0 x3)SNo x4add_SNo 1 (minus_SNo (mul_SNo x0 x4)) = mul_SNo (add_SNo 1 (minus_SNo (mul_SNo x0 x3))) (mul_SNo (add_SNo x1 (minus_SNo x0)) x2)SNoLt 1 (mul_SNo x0 x4)
type
prop
theory
HotG
name
SNo_recip_lem4
proof
PUewm..
Megalodon
SNo_recip_lem4
proofgold address
TMTXz..SNo_recip_lem4
creator
27779 PrQUS../12cb3..
owner
27779 PrQUS../12cb3..
term root
41730..