Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ OSNo_proj0 (mul_OSNo x0 x1) = add_HSNo (mul_HSNo (OSNo_proj0 x0) (OSNo_proj0 x1)) (minus_HSNo (mul_HSNo (conj_HSNo (OSNo_proj1 x1)) (OSNo_proj1 x0)))
type
prop
theory
HotG
name
mul_OSNo_proj0
proof
PUdK2..
Megalodon
mul_OSNo_proj0
proofgold address
TML92..mul_OSNo_proj0
creator
28513 PrQUS../c413c..
owner
28513 PrQUS../c413c..
term root
34f08..