Theorem least_ascending_central_series_length_eq_nilpotencyClass

Modification history