Proofgold Proposition

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

type
prop

theory
HotG

name
mul_SNo_eps_power_2'

proof
PUUxZ..

Megalodon
mul_SNo_eps_power_2

proofgold address
TMF1k..^{mul_SNo_eps_power_2}

creator
12264 PrGxv../6f23f..

owner
12264 PrGxv../6f23f..

term root
721eb..