Theorem LinearEquiv.isSemisimpleModule_iff

Modification history