Talk:Babuška–Lax–Milgram theorem

Why does this article credit "Babuška"?
I am an expert in this field and have never heard "Babuška–Lax–Milgram". It's always "Lax–Milgram". As far as I can tell Babuška generalized a famous result in a trivial name and now his name is listed first? Why doesn't the actual Lax-Milgram theorem have its own article? 192.16.204.78 (talk) 18:22, 24 September 2023 (UTC)