Theorem nilpotent_iff_finite_ascending_central_series

Modification history