mathlib

41414a3a - chore(analysis/special_functions): typo in module doc (#9330)