Jarník–Besicovitch theorem

GPTKB entity