Proofgold Proposition

∀ x0 . CSNo x0 ⟶ exp_CSNo_nat x0 2 = mul_CSNo x0 x0

type
prop

theory
HotG

name
exp_CSNo_nat_2

proof
PUQvq..

Megalodon
exp_CSNo_nat_2

proofgold address
TMMf7..^{exp_CSNo_nat_2}

creator
28444 PrQUS../27589..

owner
28444 PrQUS../27589..

term root
3de72..