Proofgold Proposition

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

type
prop

theory
HotG

name
recip_SNo_eps_

proof
PUSRj..

Megalodon
recip_SNo_eps_

proofgold address
TMbxP..^{recip_SNo_eps_}

creator
27837 PrQUS../e798a..

owner
27837 PrQUS../e798a..

term root
bbfae..