• 223 The Supremum and Completeness of ℝ
http://qindex.info/i.php?x=9760

-