Theorem mem_upperCentralSeries_succ_iff

Modification history