Theorem Ideal.rank_pow_quot_aux

Modification history