Theorem Rat.add_den_dvd

Modification history