Theorem LieModule.coe_lowerCentralSeries_ideal_le

Modification history