Talk:Krein–Smulian theorem