fact: Hypothesis card_X : #|X| = 2%nat.
imports: mathcomp(all_ssreflect all_algebra matrix) Reals mathcomp(mathcomp_extra Rstruct) ssrR Reals_ext realType_ext ssr_ext ssralg_ext logb fdist entropy binary_entropy_function channel hamming channel_code