Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ even_nat (mul_SNo 2 x0)

type
prop

theory
HotG

name
even_nat_2x

proof
PUTZ7..

Megalodon
-

proofgold address
TMWEn..

creator
28951 Pr5Zc../c17be..

owner
28951 Pr5Zc../c17be..

term root
c842d..