Proofgold Proposition

∀ x0 . 69aae.. x0 2 = mul_nat x0 x0

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
exp_nat_2_mul_nat

proofgold address
TMXXf..^{exp_nat_2_mul_nat}

creator
2364 PrGxv../2ec95..

owner
2364 PrGxv../2ec95..

term root
05c5f..