Do Carmoの【Riemannian geometry】って
可微分多様体の定義でハウスドルフ空間であることを要請していないけれど
これオッケーなの？