Commit 2021-02-12 14:15 254c3ee1
View on Github →feat(analysis/special_functions/exp_log): added log_div (#6196)
∀ x y : ℝ, x ≠ 0 → y ≠ 0 → log (x / y) = log x - log y
feat(analysis/special_functions/exp_log): added log_div (#6196)
∀ x y : ℝ, x ≠ 0 → y ≠ 0 → log (x / y) = log x - log y