Proofgold Proposition

∀ x0 . SNo x0 ⟶ exp_SNo_nat x0 2 = mul_SNo x0 x0

type
prop

theory
HotG

name
exp_SNo_nat_2

proof
PUfaM..

Megalodon
exp_SNo_nat_2

proofgold address
TMdGY..^{exp_SNo_nat_2}

creator
27960 PrQUS../f73c6..

owner
27960 PrQUS../f73c6..

term root
a18be..