3 ms·Metamath project proves Dirichlet's theorem on arithmetic progressions2 points by sanxiyn 9y ago