Theorem lowerCentralSeries_isDescendingCentralSeries

Modification history