`BookProof.ChapterH5.krylovSpan_mono` {m n : ℕ} (hmn : m ≤ n) : krylovSpan H v m ≤ krylovSpan H v n

Initializing...

`BookProof.ChapterH5.krylovSpan_mono` {m n : ℕ} (hmn : m ≤ n) : krylovSpan H v m ≤ krylovSpan H v n · Prove2Me