Theorem real.exists_exp_eq_of_pos
Modification history
2020-12-09 04:36
src/analysis/special_functions/exp_log.lean
feat(analysis/special_functions): `real.log` is infinitely smooth away from zero (#5116) …
Deleted real.exists_exp_eq_of_posView on Github →