Theorem IsSimpleGroup.derivedSeries_succ

Modification history