Theorem lowerCentralSeries_length_eq_nilpotencyClass

Modification history