Harbourne-Gimigliano-Hirschowitz conjecture for plane linear systems
Harbourne-Gimigliano-Hirschowitz conjecture. The linear system ∣D∣|D|∣D∣ has expected dimension