Theorem IsSemisimpleModule.of_sSup_simples_eq_top

Modification history