Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0omega∀ x1 . x1omegamul_nat 2 x0 = mul_nat 2 x1x0 = x1
type
prop
theory
HotG
name
double_omega_cancel
proof
PUaSr..
Megalodon
-
proofgold address
TMKUC..
creator
23745 Pr5Zc../43351..
owner
23745 Pr5Zc../43351..
term root
fe405..