Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . SNo x0SNo x1SNo x2SNoLt x1 (mul_SNo (eps_ 1) x0)SNoLe x2 (mul_SNo (eps_ 1) x0)SNoLt (add_SNo x1 x2) x0
type
prop
theory
HotG
name
eps_1_split_LtLe_bd
proof
PUfRQ..
Megalodon
eps_1_split_LtLe_bd
proofgold address
TMEg3..eps_1_split_LtLe_bd
creator
6761 Pr6Pc../d5ae3..
owner
6761 Pr6Pc../d5ae3..
term root
ebdf1..