Equivalence of completeness and contraction property

From MaRDI portal
Publication:3420083