Theorem lowerCentralSeries_nilpotencyClass

Modification history