Talk:Pseudo-monotone operator

The Browder–Minty theorem requires X to be separable. The proof given on this page allegedly does not. Is that correct? 92.231.217.191 (talk) 00:09, 22 February 2012 (UTC)