Theorem cardQuot_pow_of_prime

Modification history