Proofgold Proposition

∀ x0 . nat_p x0 ⟶ recip_SNo (exp_SNo_nat 2 x0) = eps_ x0

type
prop

theory
HotG

name
recip_SNo_pow_2

proof
PUSRj..

Megalodon
recip_SNo_pow_2

proofgold address
TMauk..^{recip_SNo_pow_2}

creator
27837 PrQUS../6a95f..

owner
27837 PrQUS../6a95f..

term root
761b6..