ページ名の変更

cl-isocompactの名前を変更します。