`BookProof.ChapterSirkPerSystemFlowBound.sirk_scheme_tendsto` {X : E →L[ℂ] E} {S : Set ℂ} {C Dmin h : ℝ} (hh : 0 < h) (hS : numRange X ⊆ S) {Gm : ℕ → Type*} [∀ m, NormedAddCommGrou

Initializing...

`BookProof.ChapterSirkPerSystemFlowBound.sirk_scheme_tendsto` {X : E →L[ℂ] E} {S : Set ℂ} {C Dmin h : ℝ} (hh : 0 < h) (hS : numRange X ⊆ S) {Gm : ℕ → Type*} [∀ m, NormedAddCommGrou · Prove2Me