Theorem isSimpleModule_iff_quot_maximal

Modification history