Theorem Commute.sub_dvd_pow_sub_pow

Modification history