Talk:Hypocontinuous bilinear map