Talk:Generated Topology is a Topology

No, don't delete this right yet, we need to make sure that the appropriate links to "Generated Topology" are not lost. --prime mover (talk) 22:44, 5 November 2012 (UTC)