prime): pow_dvd_of_dvd_mul_right (#8483)

Commit

4 years ago

feat(data/nat/prime): pow_dvd_of_dvd_mul_right (#8483) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents