Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_SNo (eps_ x0) (exp_SNo_nat 2 x0) = 1

type
prop

theory
HotG

name
mul_SNo_eps_power_2

proof
PUUxZ..

Megalodon
mul_SNo_eps_power_2

proofgold address
TMNwC..^{mul_SNo_eps_power_2}

creator
12264 PrGxv../7f932..

owner
12264 PrGxv../7f932..

term root
6921f..