Theorem CharP.ringChar_ne_one

Modification history