Theorem Rat.sub_den_dvd_lcm

Modification history