Minkowski–Hlawka theorem

GPTKB entity