mathlib

56bedb40 - feat(analysis/special_functions/exp_log): `continuous_on_exp`/`pow` (#7243)