`BookProof.ChapterEulerStochastic.preservesProb_iff_exists_angles` (M : Matrix (Fin 2) (Fin 2) ℝ) : PreservesProb M ↔ ∃ a b : ℝ, M = Mmat a b

Initializing...

`BookProof.ChapterEulerStochastic.preservesProb_iff_exists_angles` (M : Matrix (Fin 2) (Fin 2) ℝ) : PreservesProb M ↔ ∃ a b : ℝ, M = Mmat a b · Prove2Me