ページ名の変更

strongly m-paracompactの名前を変更します。