Theorem nilpotent_iff_lowerCentralSeries

Modification history