`BookProof.ProbabilityClockStochastic.clockPsi_eq_exp` (t : ℝ) : (NormedSpace.exp (t • Jgen)).mulVec ![1, 0] = clockPsi t

Initializing...

`BookProof.ProbabilityClockStochastic.clockPsi_eq_exp` (t : ℝ) : (NormedSpace.exp (t • Jgen)).mulVec ![1, 0] = clockPsi t · Prove2Me