New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series
Changeset
65578:e4997c181cce
by paulson _lp15@cam.ac.uk_:
New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series