Theorem inv_le_inv_iff

Modification history