IsarMathLib icon indicating copy to clipboard operation
IsarMathLib copied to clipboard

Published 20 hours ago • verified publisher icon SKolodynski

Topological group uniformities. Roelcke uniformity.

Open dan323 opened this issue 4 years ago • 2 comments

Proof that the Roelcke uniformity is a uniformity, defined in here for example.

  • [x] Define a the Roelcke uniformity
  • [x] Add a proof that it is indeed a uniformity
  • [ ] Add a proof that muliplication and inverse functions are uniformly continuous

dan323 avatar Apr 20 '20 20:04 dan323