(* mathcomp analysis (c) 2026 Inria and AIST. License: CeCILL-C.              *)
From mathcomp Require Export random_variable.
From mathcomp Require Export bernoulli_distribution.
From mathcomp Require Export binomial_distribution.
From mathcomp Require Export uniform_distribution.
From mathcomp Require Export normal_distribution.
From mathcomp Require Export exponential_distribution.
From mathcomp Require Export poisson_distribution.
From mathcomp Require Export beta_distribution.
