yesterday, by quid
re propoduct-spaces: my concern is somewhat different. A question "For fin dim vector spaces, show that dim V x W is dim V + dim W" is also a question about product spaces. I do not think the tag should be used. The wiki allows it though. Maybe the "for example" should be changed, and tag be actually restricted to top and measure theory (conceived broadly).