Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . HSNo x0HSNo x1mul_OSNo x0 x1 = mul_HSNo x0 x1
type
prop
theory
HotG
name
mul_OSNo_mul_HSNo
proof
PUdK2..
Megalodon
mul_OSNo_mul_HSNo
proofgold address
TMcme..mul_OSNo_mul_HSNo
creator
28513 PrQUS../4c4c9..
owner
28513 PrQUS../4c4c9..
term root
7fa43..