User:Caliburn/s

Progress List
Feel free to finish these off and move to mainspace if you want


 * /1 - uniformly convergent sequence of continuous functions is equicontinuous
 * /3 - equicontinuous family of functions on compact space is equicontinuous
 * /6 - Entire Function with Constant Real Part is Constant
 * /7 - Closed Interval is Non-Meager
 * /8 - locally constant function on connected space is constant
 * /9 - order of quantity of numbers divisible by certain number
 * /10 - integral representation of total variation
 * /12 - $\sum_{p \le x} \log p/p = \log x + \map \OO 1$

Analytic Number Theory TODO
/ant

Functional Analysis
/fa