mixing_proof by albertohdez | SimScale