Theorem Left.inv_lt_self

Modification history