`BookProof.ChapterH5.pow_apply_mem_krylovSpan` {i m : ℕ} (hi : i < m) : (H ^ i) v ∈ krylovSpan H v m

Initializing...

`BookProof.ChapterH5.pow_apply_mem_krylovSpan` {i m : ℕ} (hi : i < m) : (H ^ i) v ∈ krylovSpan H v m · Prove2Me