Kleinbock-Margulis theorem

GPTKB entity