Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . SNo x0SNo x1SNo x2SNoLe 0 x2SNoLe x0 x1SNoLe (mul_SNo x0 x2) (mul_SNo x1 x2)
type
prop
theory
HotG
name
nonneg_mul_SNo_Le'
proof
PUX1q..
Megalodon
nonneg_mul_SNo_Le
proofgold address
TMGBN..nonneg_mul_SNo_Le
creator
12284 PrGxv../8a301..
owner
12284 PrGxv../8a301..
term root
1577b..