Theorem card_dvd_exponent_pow_rank

Modification history