Proofgold Proposition

∀ x0 . HSNo x0 ⟶ exp_HSNo_nat x0 2 = mul_HSNo x0 x0

type
prop

theory
HotG

name
exp_HSNo_nat_2

proof
PUgzA..

Megalodon
exp_HSNo_nat_2

proofgold address
TMaLx..^{exp_HSNo_nat_2}

creator
28464 PrQUS../f9935..

owner
28464 PrQUS../f9935..

term root
0756a..