Theorem isSemisimpleModule_iff_exists_linearEquiv_dfinsupp

Modification history