ページ名の変更

n-boundedly metacompactの名前を変更します。