Integer logarithms, originally split from arithmoi package
Math.NumberTheory.Logarithms splitted out of arithmoi
Math.NumberTheory.Logarithms
arithmoi