集積点定義タイプ0⇔数列を用いた集積点定義

「《Rの部分集合》の集積点」の定義－タイプ0と数列利用タイプが同値であることの証明ページを新規作成・アップロード。