Theorem CharP.char_is_prime_of_pos

Modification history