mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(topology/algebra/uniform_group): add instance `topological_group_is_uniform_of_compact_space`

Open ocfnash opened this issue 3 years ago • 0 comments

Also update doc string for topological_group.to_uniform_space.

cc @ADedecker

Open in Gitpod

ocfnash avatar Aug 12 '22 12:08 ocfnash