User:Caliburn/s

From ProofWiki
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

/ant /ra /fa /mt /prob