Wed, 10 Oct 2012 12:12:24 +0200 | hoelzl | simplified entropy_uniform | changeset | files |
Wed, 10 Oct 2012 12:12:23 +0200 | hoelzl | remove incseq assumption from measure_eqI_generator_eq | changeset | files |
Wed, 10 Oct 2012 12:12:23 +0200 | hoelzl | generalize from prob_space to finite_measure | changeset | files |