`BookProof.ChapterTrajectory.transProb_H` (f a : Fin 2) : transProb H f a = 1 / 2 · Prove2Me

P

Initializing...

`BookProof.ChapterTrajectory.transProb_H` (f a : Fin 2) : transProb H f a = 1 / 2 · Prove2Me