Theorem Right.self_lt_inv

Modification history