Theorem pow_dvd_pow_of_dvd_of_le

Modification history