Theorem nilpotent_iff_finite_descending_central_series

Modification history