Loading Prove that the sum of a nilpotent element and a unit is a unit
6 kyu
Loading Prove that the sum of a nilpotent element and a unit is a unit
6 kyu
Prove that the sum of a nilpotent element and a unit is a unit
-
Language
- Lean
-
Language Version
