Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.one_div_Gamma_eq_self_mul_one_div_Gamma_add_one

Modification history

2023-05-16 05:07
src/analysis/special_functions/gamma/beta.lean
feat(analysis/special_functions/gamma): holomorphy of `1 / Gamma` (#19012) …
Added complex.one_div_Gamma_eq_self_mul_one_div_Gamma_add_oneView on Github →