Theorem real.has_deriv_at_log_of_pos
Modification history
2021-02-16 18:36
src/analysis/special_functions/exp_log.lean
feat(analysis/special_functions): strict differentiability of `real.exp` and `real.log` (#6256)
Deleted real.has_deriv_at_log_of_posView on Github →