Probability instance for the recursive latent product

instance Feige.recursiveAugmentedLatent_isProbability (n : ℕ) (latent : Fin n → MeasureTheory.Measure AugmentedTwoPointParams) [∀ (i : Fin n), MeasureTheory.IsProbabilityMeasure (latent i)] : MeasureTheory.IsProbabilityMeasure (recursiveAugmentedLatent n latent)