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