Lions–Lax–Milgram theorem — latest news, discussion & facts — IJR