Evaluation Distributions of Computations with Prod

File for lemmas about evalDist and support involving Prod.