Lions–Lax–Milgram theorem

GPTKB entity