Proofgold Proposition

∀ x0 . nat_p x0 ⟶ even_nat (mul_nat 2 x0)

type
prop

theory
HotG

name
even_nat_double

proof
PUaSr..

Megalodon
even_nat_double

proofgold address
TMcRe..^{even_nat_double}

creator
23745 Pr5Zc../ab46e..

owner
23745 Pr5Zc../ab46e..

term root
3b0d7..