Theorem lowerCentralSeries_succ_eq_bot

Modification history