Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ OSNo_proj1 (mul_OSNo x0 x1) = add_HSNo (mul_HSNo (OSNo_proj1 x1) (OSNo_proj0 x0)) (mul_HSNo (OSNo_proj1 x0) (conj_HSNo (OSNo_proj0 x1)))
type
prop
theory
HotG
name
mul_OSNo_proj1
proof
PUdK2..
Megalodon
mul_OSNo_proj1
proofgold address
TMVqk..mul_OSNo_proj1
creator
28513 PrQUS../7d08e..
owner
28513 PrQUS../7d08e..
term root
587f0..