Theorem inv_le_inv_of_le

Modification history