Theorem Prime.associated_of_dvd

Modification history