lean_workbook_plus_38182
ProvedProve that if for all , then is continuous at .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38182 : ContinuousAt (fun x : ℝ => x^2) 0 := by sorry
Source
Prove that if for all , then is continuous at .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38182 : ContinuousAt (fun x : ℝ => x^2) 0 := by sorry