Theorem CharP.neg_one_ne_one

Modification history