number.Parity: fixed an inconsistent lemma

parent 2c2c4632
......@@ -28,7 +28,7 @@ theory Parity
use import int.ComputerDivision
lemma even_mod2 :
forall n:int. even n <-> div n 2 = 0
forall n:int. even n <-> mod n 2 = 0
end
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment