Theorem Ideal.exists_smith_normal_form

Modification history