Theorem inv_pow_le_inv_pow_of_le

Modification history