Machine generated authority record.
Work cat.: (OSt): Gopal, Dhananjay, author. 12909, An introduction to metric spaces /