`BookProof.ChapterEnergyBoundedEvolution.phase_split` {A B C z : ℂ} (h : A * B = C) : C * z - A * z = A * (B * z

Initializing...

`BookProof.ChapterEnergyBoundedEvolution.phase_split` {A B C z : ℂ} (h : A * B = C) : C * z - A * z = A * (B * z - z) · Prove2Me