Theorem multiplicity.Finite.not_dvd_of_one_right

Modification history