Theorem isSimpleModule_iff_isCoatom

Modification history