ページ名の変更

soft topological spaceの名前を変更します。