mathlib
46d10092 - feat(analysis/metric_space): Isometries (#657)

Commit

7 years ago

feat(analysis/metric_space): Isometries (#657)

References

#657 - Isometries

Author

sgouezel

sgouezel

Committer

johoelzl

johoelzl

Parents

Loading