prime): slightly weaken assumption in nat.exists_prime_and_dvd (#12156)

Commit

3 years ago

chore(data/nat/prime): slightly weaken assumption in nat.exists_prime_and_dvd (#12156) It is vacuously true for zero, as everything divides zero.

Author

Ruben-VandeVelde

Parents