Theorem LinearEquiv.isSimpleModule_iff

Modification history