small fix in P49

lean-ja · Aug 8, 2024 · b69863b · b69863b
1 parent 47b1915
commit b69863b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/Problem49.lean b/Src/Problem49.lean
@@ -6,7 +6,7 @@ An n-bit Gray code is a sequence of n-bit strings constructed according to certa
 ```
 n = 1: C(1) = ['0','1'].
 n = 2: C(2) = ['00','01','11','10'].
-n = 3: C(3) = ['000','001','011','010',´110´,´111´,´101´,´100´].
+n = 3: C(3) = ['000','001','011','010','110','111','101','100'].
 ```
 
 Find out the construction rules and write a predicate with the following specification: