fact: Definition cinde_preim (e f g : {set 'I_n}) := forall vals : univ_types types, cinde_events P (preim_vars e vals) (preim_vars f vals) (preim_vars g vals).
imports: mathcomp(all_ssreflect ssralg ssrnum matrix) mathcomp(Rstruct) Reals ssrR Reals_ext logb ssr_ext ssralg_ext bigop_ext fdist proba