Claim: Margulis lemma is a differential geometry mathematical subfield. Its founder was born in the 6th century, before one of the minds behind Leftover hash lemma.
Label (1 = SUPPORTED, 0 = NOT_SUPPORTED, -1 = unlabeled): 0