Theorem Ideal.count_normalizedFactors_eq

Modification history