Loading If n is even, then (n/2-1)*2 = n-2
7 kyu
Loading If n is even, then (n/2-1)*2 = n-2
7 kyu
If n is even, then (n/2-1)*2 = n-2
-
Language
- Lean
-
Language Version
Loading description...
Theorem Proving
Fundamentals