Talk:Ehrling's lemma

Who is Ehrling?
I assume this is named for a Swedish mathematician. Anyone know who? --Mrwojo (talk) 02:14, 19 June 2009 (UTC)

According to MathSciNet there is only one Gunnar Ehrling and he has two papers. Only one is available online. I could not spot the lemma there. Mathuvw (talk) 17:01, 17 November 2021 (UTC)

It is attributed to Jacques-Louis Lions in the book by Haïm Brezis: Functional analysis, Sobolev spaces and partial differential equations. Springer, 2011. See p173 Exercise 6.12. Mathuvw (talk) 13:13, 17 May 2022 (UTC)