Theorem stereo_right_inv

Modification history