Nilpotent elements #
Main definitions #
An element is said to be nilpotent if some natural-number-power of it equals zero.
Note that we require only the bare minimum assumptions for the definition to make sense. Even
MonoidWithZero is too strong since nilpotency is important in the study of rings that are only