Theorem inv_lt_inv_iff

Modification history