Commit 2025-07-23 08:26 4609fd2f

View on Github →

feat(NumberTheory/ArithmeticFunction): add ArithmeticFunction.cardFactors_pow (#27327) Lemma for counting factors of powers. This was found while doing work for Project Numina.

Estimated changes