ページ名の変更

strongly n-starcompactの名前を変更します。