mathlib

c60bfca9 - chore(data/nat/prime): golf nat.dvd_prime_pow (#12886)