Mixture lemma (Q3589321)

From MaRDI portal