Image:Hausdorff.gif

The file is currently in GIF. I don't have access to the appropriate tools now, but if anybody would like to convert this to PNG, then that would be cool. Note that this will change the filename, so each page that uses this image will need to be edited to reflect that.

O, if this does get translated, please change the name to "Hausdorffspace.png", since PNG space is dear and this picture shouldn't lay claim to everything involving Felix Hausdorff. It's not very important in GIF land, but it might matter there.

Image links

There are no pages that link to this image.