mathlib3

ad76a5ee - feat(data/nat/log): log_mul, log_div (#11164)

feat(data/nat/log): log_mul, log_div (#11164) Even with division over natural, the log "spec" holds. Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>