Theorem nilpotencyClass_quotient_le

Modification history