Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . SNo x0SNoLt 0 x0SNo x1SNo x2SNoLt x1 x2SNoLt (mul_SNo x0 x1) (mul_SNo x0 x2)
type
prop
theory
HotG
name
pos_mul_SNo_Lt
proof
PUfRQ..
Megalodon
pos_mul_SNo_Lt
proofgold address
TMS63..pos_mul_SNo_Lt
creator
6761 Pr6Pc../5496b..
owner
6761 Pr6Pc../5496b..
term root
67421..