Skip to main content
3 events
when toggle format what by license comment
Nov 17, 2011 at 21:27 comment added Michael Greinecker It is in the general topology book of Bourbaki. If that is not the first published proof, it is probably in the paper of Andre Weil that introduced uniform space as entourages.
Nov 17, 2011 at 20:57 comment added Benjamin Steinberg I think you can find this in Kelley's General topology.
Nov 17, 2011 at 20:53 history asked Alan CC BY-SA 3.0