Theorem Ideal.rank_pow_quot

Modification history