Prime numbers #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file contains some results about prime numbers which depend on finiteness of sets.
b are positive, the prime divisors of
a * b are the union of those of
The only prime divisor of positive prime power