Test_Unicode_W5
Provedproofwikitest
Test with unicode
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Test_Unicode_W5 (x y : ℝ) (hx : 0 < x) : x ≤ x := by sorry
Source
Test with unicode
import Mathlib.Analysis.Complex.Basic
theorem Test_Unicode_W5 (x y : ℝ) (hx : 0 < x) : x ≤ x := by sorry