Theorem Left.inv_le_self

Modification history