Theorem IsSimpleModule.annihilator_isMaximal

Modification history