Theorem Ideal.finite_factors

Modification history