Theorem RatFunc.num_div_dvd

Modification history