Mixed local and nonlocal Sobolev inequalities with extremal and associated quasilinear singular elliptic problems. (October 2022)