Theorem LieModule.posFittingComp_le_iInf_lowerCentralSeries

Modification history