mathlib

b49bc778 - feat(data/nat/prime): add two lemmas with nat.primes, mul and dvd (#12780)

feat(data/nat/prime): add two lemmas with nat.primes, mul and dvd (#12780) These lemmas are close to available lemmas, but I could not actually find them. Co-authored-by: Johan Commelin <johan@commelin.net>