fix

leanpkg.toml

@@ -1,8 +1,8 @@
 [package]
 name = "lftcm2020"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.49.1"
+lean_version = "leanprover-community/lean:3.50.3"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "1b36dabc50929b36caec16306358a5cc44ab441e"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "a437a2499163d85d670479f69f625f461cc5fef9"}

src/exercises_sources/tuesday/numbers.lean

@@ -1,7 +1,8 @@
 import tactic
 import data.real.basic
-import number_theory.padics
 import data.int.gcd
+import number_theory.padics
+import data.nat.prime_norm_num
 
 /-!
 

src/solutions/tuesday/numbers.lean

@@ -2,6 +2,7 @@ import tactic
 import data.real.basic
 import data.int.gcd
 import number_theory.padics
+import data.nat.prime_norm_num
 
 /-!