Dirichlet's theorem on arithmetic progressions

GPTKB entity