Atiyah–Macdonald theorem

GPTKB entity