Theorem upperCentralSeries_isAscendingCentralSeries

Modification history