Lions–Prodi theorem

GPTKB entity