Theorem inv_le_of_mabs_le

Modification history