`BookProof.ProbabilityClockStochastic.Mab_isColumnStochastic` (a b : ℝ) : IsColumnStochastic (Mab a b)

Initializing...

`BookProof.ProbabilityClockStochastic.Mab_isColumnStochastic` (a b : ℝ) : IsColumnStochastic (Mab a b) · Prove2Me