Theorem isSimpleModule_self_iff_isUnit

Modification history