Theorem stereo_left_inv

Modification history