`BookProof.ChapterSirkPerSystemFlowBound.ym_sirk_flow_error_tendsto_zero` (e : ℕ ≃ (Fin 99 →₀ ℕ)) (fabc : Fin 8 → Fin 8 → Fin 8 → ℝ) {γ : ℝ} (hγ : 0 < γ) : ∃ (Dom :...

Initializing...

`BookProof.ChapterSirkPerSystemFlowBound.ym_sirk_flow_error_tendsto_zero` (e : ℕ ≃ (Fin 99 →₀ ℕ)) (fabc : Fin 8 → Fin 8 → Fin 8 → ℝ) {γ : ℝ} (hγ : 0 < γ) : ∃ (Dom :... · Prove2Me