Assertion: compact metric space | /r/HasAspect | finite diameter
Facets:
value: more generally,
type: DEGREE
Source sentences:
text: Note that, more generally, and with the same one-line proof, every compact metric space has finite diameter.