Brezis–Lions lemma

GPTKB entity