Skip to content

Commit

Permalink
style : Real -> ℝ
Browse files Browse the repository at this point in the history
  • Loading branch information
@ramonfmir
ramonfmir committed Mar 16, 2024
1 parent 849eb39 commit a956baf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ equivalence eqv/q :
rw [← exp_add]
#print q
-- def q : Minimization (ℝ × ℝ) Real :=
-- def q : Minimization (ℝ × ℝ) ℝ :=
-- optimization (x : ℝ) (y : ℝ)
-- maximize x + y
-- subject to
Expand Down

0 comments on commit a956baf

Please sign in to comment.