P
Initializing...
`BookProof.ChapterConservative.timeEvo_zero` (H : Matrix n n ℂ) : timeEvo H 0 = 1 · Prove2Me