Theorem Ideal.exists_minimal_isPrimary_decomposition_of_isPrimary_decomposition

Modification history