Top

Module mathcomp.analysis.probability_theory.probability

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.