fact: Definition Support(A : Set)(ls : list A)(d : Distribution A) := NoDup ls /\ (forall a, In a ls <-> ~((d a) == 0)).
imports: FCF.Comp FCF.Rat FCF.Fold List FCF.Blist micromega.Lia FCF.StdNat FCF.NotationV1 FCF.EqDec