ページ名の変更

weight (of topological space)の名前を変更します。