Theorem IsSemisimpleModule.exists_linearEquiv_dfinsupp

Modification history