Theorem IsSimpleModule.nontrivial

Modification history