Proofgold Proposition

∀ x0 . OSNo x0 ⟶ exp_OSNo_nat x0 2 = mul_OSNo x0 x0

type
prop

theory
HotG

name
exp_OSNo_nat_2

proof
PUdK2..

Megalodon
exp_OSNo_nat_2

proofgold address
TMT5e..^{exp_OSNo_nat_2}

creator
28513 PrQUS../a54e6..

owner
28513 PrQUS../a54e6..

term root
6ad2c..