Theorem sSup_simples_eq_top_iff_isSemisimpleModule

Modification history