Prime number theorem for arithmetic progressions

GPTKB entity