Loading 0.999... = 1? Prove it!
6 kyu
Loading 0.999... = 1? Prove it!
6 kyu
0.999... = 1? Prove it!
-
Language
- Lean
-
Language Version
Loading description...
Fundamentals
Theorem Proving
Mathematics