Theorem div_pow_le

Modification history