isometry): group structure on isometries (#2950)

Commit

5 years ago

feat(topology/metric_space/isometry): group structure on isometries (#2950) Closes #2908

Author

Matěj G

Parents