Theorem IsSemisimpleModule.exists_linearEquiv_fin_dfinsupp

Modification history