Theorem IsSimpleModule.ker_toSpanSingleton_isMaximal

Modification history