Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0mul_nat 2 x0x0x0 = 0
type
prop
theory
HotG
name
double_nat_Subq_0
proof
PUWsr..
Megalodon
double_nat_Subq_0
proofgold address
TMYFP..double_nat_Subq_0
creator
23950 Pr5Zc../3e9f7..
owner
23950 Pr5Zc../3e9f7..
term root
3f119..