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