Theorem isSimpleModule_iff_toSpanSingleton_surjective

Modification history