Szpiro's discriminant conjecture

GPTKB entity