The ideal of nilpotent elements
Click on the line numbers to show comments, or use the arrow keys to step through the proof.
Show raw text
Show task details