Theorem lowerCentralSeries_eq_bot_iff_nilpotencyClass_le

Modification history