Theorem Ideal.factors_decreasing

Modification history