Theorem lt_mul_inv_iff_lt

Modification history