Johnson-Lindenstrauss lemma

1. REDIRECT Johnson–Lindenstrauss lemma

{{R from modification}}