Theorem Rack.left_cancel_inv

Modification history