Theorem Ideal.is_fg_degreeLE

Modification history