isProbabilityMeasure_gammaMeasure — Mathlib · SciLib

∫ Утверждение Mathlib

isProbabilityMeasure_gammaMeasure

Mathlib.Probability.Distributions.Gamma

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.isProbabilityMeasure_gammaMeasure

← MathLib Explorer