Theorem ZModModule.char_ne_one

Modification history