User:Caliburn/s

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


 * /1 - uniformly continuous function with complete codomain can be uniquely extended to a uniformly continuous function on closure of domain
 * /2 - countable union of overlapping connected sets is connected
 * /3 - finite collection of continuous functions is equicontinuous
 * /4 - uniformly convergent sequence of continuous functions is equicontinuous
 * /5 - family of Lipschiz functions is equicontinuous
 * /6 - equicontinuous family of functions on compact space is equicontinuous