Theorem isSimpleModule_iff_finrank_eq_one

Modification history