Commit 2019-08-02 14:52 10612383

View on Github →

feat(topology): category of uniform spaces (#1275)

  • feat(category_theory): uniform spaces
  • feat(topology/uniform_spaces): CpltSepUniformSpace is a reflective subcategory

Estimated changes