Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 2 x0 ⊆ x0 ⟶ x0 = 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..