Commit 2023-10-24 17:18 bf077b11

View on Github →

chore: positivity extension for the Gamma function (#7888)

Estimated changes

Modified Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean

added def Mathlib.Meta.Positivity.evalGamma

added theorem Real.Gamma_nonneg_of_nonneg