Theorem complex.has_deriv_at_Gamma_integral
Modification history
2023-05-16 05:07
src/analysis/special_functions/gamma/basic.lean
feat(analysis/special_functions/gamma): holomorphy of `1 / Gamma` (#19012) …
Modified complex.has_deriv_at_Gamma_integralView on Github →