俺の検索の仕方が悪いから聞きたいんだが、
局所コンパクトハウスドルフ空間に対してのBaire category theoremの証明が乗ってるサイトある?