Theorem upperCentralSeries_mono

Modification history