Theorem Left.inv_lt_one_iff

Modification history