WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Gamma function

Revision #3030 → #3564 · back to history

addedMeromorphic with simple poles at non-positive integers (lead)5048317940d3
modifiedMeromorphic with simple poles at non-positive integers1f907e843c56
FieldFrom #3030To #3564
mathlib.moduleMathlib.Analysis.SpecialFunctions.Gamma.BasicMathlib.Analysis.SpecialFunctions.Gamma.Deriv