Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1SNoLe x0 1SNoLe 0 x1SNoLe (mul_SNo x0 x1) x1
type
prop
theory
HotG
name
mul_SNo_Le1_nonneg_Le
proof
PUX1q..
Megalodon
mul_SNo_Le1_nonneg_Le
proofgold address
TMLXR..mul_SNo_Le1_nonneg_Le
creator
12284 PrGxv../5282e..
owner
12284 PrGxv../5282e..
term root
26eb5..