# 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
• /10 - integral representation of total variation