Theorem nilpotencyClass_le_of_ker_le_center

Modification history