`BookProof.ChapterEulerStochastic.Mmat_preservesProb` (a b : ℝ) : PreservesProb (Mmat a b)

Initializing...

`BookProof.ChapterEulerStochastic.Mmat_preservesProb` (a b : ℝ) : PreservesProb (Mmat a b) · Prove2Me