mathlib

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