Theorem card_dvd_exponent_pow_rank'

Modification history