mathlib
6354fe95 - feat(topology/algebra): discrete group criterion (#9488)

Commit

4 years ago

feat(topology/algebra): discrete group criterion (#9488) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

PatrickMassot

Parents