Herbrand–Ribet theorem

GPTKB entity