Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
mul_nat
x0
0
=
0
type
prop
theory
HotG
name
mul_nat_0R
proof
PUfQZ..
Megalodon
mul_nat_0R
proofgold address
TMYKP..
mul_nat_0R
creator
4898
Pr6Pc..
/
6f545..
owner
4898
Pr6Pc..
/
6f545..
term root
b2f56..