Theorem charP_of_card_eq_prime

Modification history