mathlib3

21cea47a - feat(analysis/special_functions/log): log of natural power (#11685)

feat(analysis/special_functions/log): log of natural power (#11685) The rpow versions are already present, but the natural/integer versions can also be very helpful (eg for squares).