mathswitch — infrastructure for relaying and exchanging mathematical concepts

complete metric space

metric space in which cauchy sequence converges to an element of the space

Wikidata: complete metric space