# User:Caliburn/s

Jump to navigation
Jump to search

## 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