Theorem pow_mod_card

Modification history