Varadhan's lemma

GPTKB entity