Mutual information

import Random_variable

variables (ι : Type) [fin ι]
(XY X Y : ι → ℝ) [rnd_var XY X Y]

def mut_info : ℝ := sorry

theorem mut_info_comm :
  I(X;Y) = I(Y;X) := sorry

References

• Wilde2011;