Theorem Left.one_lt_inv_iff

Modification history