Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
HSNo
x0
⟶
HSNo
x1
⟶
mul_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..