Commit 2024-01-05 13:07 cace5e5a
View on Github →feat : Add Gamma distribution (#9408) Add pdf, CDF and measure of Gamma distribution. Add proof that this is indeed a probability distribution. Add proofs that relate the various definitions. TODO: Refactor Probability/Distributions/Exponential.lean using calls to the results in this file.