2011年11月18日金曜日

R1上の距離空間

「距離空間(R,d)」についてのノートのメンテ完了。