Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-11 11:08 fbf62199

View on Github →

feat(analysis/special_functions/exp_log): add continuity attribute to continuous_exp (#7157)

Estimated changes

modified theorem complex.continuous_exp
modified theorem real.continuous_exp
modified theorem real.continuous_log'