fact: Definition bipart : {fdist [finType of bool]}.
imports: mathcomp(all_ssreflect ssrnum) Reals Lra mathcomp(Rstruct) ssrR realType_ext Reals_ext Ranalysis_ext ssr_ext logb ln_facts bigop_ext fdist divergence log_sum variation_dist