Theorem Ring.eq_self_iff_eq_zero_of_char_ne_two

Modification history