Szpiro's conjecture

GPTKB entity