Theorem least_descending_central_series_length_eq_nilpotencyClass

Modification history