Theorem upperCentralSeries_nilpotencyClass

Modification history