Theorem dvd_of_dvd_pow

Modification history