Integer logarithms, originally split from arithmoi package
Why do you think that https://github.com/choener/ADPfusionSet is a good alternative to integer-logarithms
Integer logarithms, originally split from arithmoi package
Why do you think that https://github.com/choener/ADPfusionSet is a good alternative to integer-logarithms