Commit 2025-08-29 18:14 b97f6dd6

chore(Probability/Distributions): delete definitions for the CDFs of particular distributions (#29063)

• delete the definitions for the CDF of exponential and gamma distributions: we can simply use cdf (expMeasure r) or cdf (gammaMeasure a r).
• rename isProbabilityMeasure_gammaMeasure, isProbabilityMeasure_geometricMeasure, isProbabilityMeasure_expMeasure, cdf_paretoMeasure_eq_integral, cdf_paretoMeasure_eq_lintegral to adhere to the naming conventions.