`BookProof.ChapterTrajectory.transProb_nonneg` (V : Matrix (Fin n) (Fin n) ℂ) (f a : Fin n) : 0 ≤ transProb V f a

Initializing...

`BookProof.ChapterTrajectory.transProb_nonneg` (V : Matrix (Fin n) (Fin n) ℂ) (f a : Fin n) : 0 ≤ transProb V f a · Prove2Me