Assertion: metric space | /r/HasProperty | w p
Facets:
Source sentences:
text: For any p ≥ 1, the metric space (P p (M), W p ) is separable, and is complete if (M, d) is separable and complete.