[Romania1998Q12] remove solution comment from extracted problem

dwrensha · Sep 16, 2023 · 5d22eb1 · 5d22eb1
1 parent 596313d
commit 5d22eb1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/MathPuzzles/Romania1998Q12.lean b/MathPuzzles/Romania1998Q12.lean
@@ -12,10 +12,12 @@ function f : ℝ → ℝ such that
 
   ∀ x,y ∈ ℝ, f(x + y) = f(x)u(y) + f(y)
 
+-/
+
+/-
 # Solution
 
 f(x) = eᵏˣ for some k : ℝ.
-
 -/
 
 #[problem_setup] namespace Romania1998Q12