On characterizations of \(\leq\)-completeness and metric completeness

From MaRDI portal
Publication:1879118