Commit 2022-04-06 01:48 2e8d269f
View on Github →feat(data/nat/factorization): Generalize natural factorization recursors. (#12973)
Switches rec_on_prime_pow precondition to allow use of 0 < n, and strengthens correspondingly rec_on_pos_prime_pos_coprime and rec_on_prime_coprime.