Theorem Left.self_lt_inv

Modification history